Competent predicate abstraction in model checking

DOI10.1007/S11432-010-4150-2zbMATH Open1214.68137OpenAlexW2011140109MaRDI QIDQ543199FDOQ543199

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

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

zbMATH Keywords

model checkingpredicate abstractionprogramweight heuristic

Mathematics Subject Classification ID

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

Cites Work

• Static Analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• An interpolating theorem prover
• Tools and Algorithms for the Construction and Analysis of Systems
• Property preserving abstractions for the verification of concurrent systems
• Underapproximating Predicate Transformers
• Title not available (Why is that?)
• Kleene's Logic, Generalized
• Title not available (Why is that?)
• A SIMPLE TEST FOR HIDDEN PERIODICITY IN TIME SERIES DATA
• Title not available (Why is that?)
• Tools and Algorithms for the Construction and Analysis of Systems

Cited In (1)

• Necessary and Sufficient Preconditions via Eager Abstraction

Uses Software

• BLAST
• FOCI

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)