scientific article; zbMATH DE number 1979541

zbMATH Open1019.68620MaRDI QIDQ4427892FDOQ4427892

Authors: Satyaki Das, David L. Dill 

Publication date: 14 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2517/25170019.htm

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1956582
• Counterexample-guided predicate abstraction of hybrid systems
• Computer Aided Verification
• Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction
• A symbolic approach to predicate abstraction.

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07)

Cited In (5)

• Verifying Reference Counting Implementations
• Computer Aided Verification
• Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)
• Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)
• Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols

Uses Software

• SLAM
• InVeSt

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 Q4427892)