scientific article; zbMATH DE number 1538039
From MaRDI portal
Publication:4518894
zbMATH Open0964.68018MaRDI QIDQ4518894FDOQ4518894
Authors: Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka 
Publication date: 5 February 2001
Title of this publication is not available (Why is that?)
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
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)
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
- Title not available (Why is that?)
- Program specialization for verifying infinite state systems: an experimental evaluation
Uses Software
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)
