skip to main content
research-article

Verification column

Published: 22 April 2015 Publication History

Abstract

In this issue of the SIGLOG newsletter, the technical column on verification presents an invited contribution on "Algorithmic Logic-Based Verification" by Arie Gurfinkel (Software Engineering Institute / Carnegie Mellon University), Temesghen Kahsai (NASA Ames / Carnegie Mellon University), and Jorge Navas (NASA Ames / SGT Inc.). The increasing number of programming languages and intermediate representations poses an obstacle in the development of a unified verification framework. The article presents a case for the use of Constrained Horn Clauses (CHC) as a universal representation for transition systems to overcome this obstacle. This article should be of special interest to the readers of this newsletter as CHCs have been used in various logic-based application domains, but are relatively new to the domain of verification. I would like to thank the authors for submitting the article.
  1. Verification column

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM SIGLOG News
    ACM SIGLOG News  Volume 2, Issue 2
    April 2015
    36 pages
    EISSN:2372-3491
    DOI:10.1145/2766189
    Issue’s Table of Contents

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 22 April 2015
    Published in SIGLOG Volume 2, Issue 2

    Check for updates

    Qualifiers

    • Research-article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 0
      Total Downloads
    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 28 Feb 2025

    Other Metrics

    Citations

    View Options

    View options

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media