Competent predicate abstraction in model checking

DOI10.1007/S11432-010-4150-2MaRDI QIDQ543199zbMATH OpenOpenAlexFDO

Authors XiangYu Luo, Li Li, Xiaoyu Song, Ming Gu

Publication date 17 June 2011

Published in Science China Information Sciences (Search for Journal in Brave)

Full work available at URL http://engine.scichina.com/doi/10.1007/s11432-010-4150-2

zbMATH Keywords

model checkingpredicate abstractionprogramweight heuristic

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Model checking: from hardware to software.
• Predicate Abstraction in Program Verification: Survey and Current Trends
• Counterexample-guided predicate abstraction of hybrid systems
• scientific article; zbMATH DE number 1956582
• scientific article; zbMATH DE number 1670775

Cites work

• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 1692938 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 1500504 (Why is no real title available?)
• scientific article; zbMATH DE number 2102703 (Why is no real title available?)
• A SIMPLE TEST FOR HIDDEN PERIODICITY IN TIME SERIES DATA
• An interpolating theorem prover
• Kleene's Logic, Generalized
• Property preserving abstractions for the verification of concurrent systems
• Static Analysis
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Underapproximating Predicate Transformers

Cited in

(1)

• Necessary and Sufficient Preconditions via Eager Abstraction

Describes a project that uses

Uses Software

• FOCI
• BLAST

This page was built for publication: Competent predicate abstraction in model checking

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