scientific article; zbMATH DE number 1538039

MaRDI QIDQ4518894zbMATH OpenFDO

Authors Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka

Publication date 5 February 2001

zbMATH Keywords

logic program transformations

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Verification of imperative programs by constraint logic program transformation
• Constraint-based correctness proofs for logic program transformations
• Verification of logic programs
• Automatic Correctness Proofs for Logic Program Transformations
• Verification from Declarative Specifications Using Logic Programming
• scientific article; zbMATH DE number 868107
• Transformational Verification of Parameterized Protocols Using Array Formulas
• Tools and Algorithms for the Construction and Analysis of Systems
• An automatic proving approach to parameterized verification
• scientific article; zbMATH DE number 1956590

Cited in

(9)

• Analysis and Transformation of Constrained Horn Clauses for Program Verification
• Transformational Verification of Parameterized Protocols Using Array Formulas
• Formal Methods in Computer-Aided Design
• Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique
• Program Development in Computational Logic
• Parameterized verification of monotone information systems
• Correct Hardware Design and Verification Methods
• scientific article; zbMATH DE number 1444728 (Why is no real title available?)
• Program specialization for verifying infinite state systems: an experimental evaluation

Describes a project that uses

Uses Software

• PVS
• SPIN

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4518894)