Efficient image computation in infinite state model checking.

DOI10.1007/B11831MaRDI QIDQ5900682zbMATH OpenOpenAlexFDO

Authors Constantinos Bartzis, Tevfik Bultan

Publication date 20 April 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b11831

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Computer Aided Verification
• Efficient Symbolic Representations for Arithmetic Constraints in Verification
• The Image Computation Problem in Hybrid Systems Model Checking
• Computer Science Logic
• scientific article; zbMATH DE number 1962792

Cited in

(7)

• The Image Computation Problem in Hybrid Systems Model Checking
• scientific article; zbMATH DE number 1232237 (Why is no real title available?)
• scientific article; zbMATH DE number 1962792 (Why is no real title available?)
• Model Checking Software
• Computer Aided Verification
• Formal Methods in Computer-Aided Design
• Efficient Symbolic Representations for Arithmetic Constraints in Verification

Describes a project that uses

Uses Software

• HyTech

This page was built for publication: Efficient image computation in infinite state model checking.

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