Browse by Author "Stefanescu, Andrei"

  • Rosu, Grigore; Stefanescu, Andrei (2012-04)
    This paper presents a verification framework that is parametric in a (trusted) operational semantics of some programming language. The underlying proof system is language-independent and consists of eight proof rules. ...

    application/pdf

    application/pdfPDF (343Kb)
  • Rosu, Grigore; Stefanescu, Andrei (2012-08)
    This paper presents a verification framework that is parametric in a (trusted) operational semantics of some programming language. The underlying proof system is language-independent and consists of eight proof rules. The ...

    application/pdf

    application/pdfPDF (346Kb)
  • Rosu, Grigore; Stefanescu, Andrei (2012-06)
    Matching logic reachability has been recently proposed as an alternative program verification approach. Unlike Hoare logic, where one defines a language-specific proof system that needs to be proved sound for each ...

    application/pdf

    application/pdfPDF (178Kb)
  • Rosu, Grigore; Stefanescu, Andrei; Ciobaca, Stefan; Moore, Brandon (2012-07)
    Abstract. This paper introduces *reachability logic*, a language-independent seven-rule proof system for deriving reachability properties of systems. The key ingredients of *reachability logic* are its sentences, which are ...

    application/pdf

    application/pdfPDF (358Kb)
  • Stefanescu, Andrei; Ciobaca, Stefan; Moore, Brandon; Serbanuta, Traian Florin; Rosu, Grigore (2013-11)
    This paper presents a language-independent proof system for reachability properties of programs written in non-deterministic (concurrent) languages, referred to as reachability logic. The proof system derives partial-correctness ...

    application/pdf

    application/pdfPDF (237Kb)
  • Rosu, Grigore; Stefanescu, Andrei (2012-05)
    This paper presents a nine-rule {\em language-independent} proof system that takes an operational semantics as axioms and derives program reachability properties, including ones corresponding to Hoare triples. This ...

    application/pdf

    application/pdfPDF (165Kb)