Competent predicate abstraction in model checking

DOI10.1007/s11432-010-4150-2zbMath1214.68137OpenAlexW2011140109MaRDI QIDQ543199

XiangYu Luo, Xiaoyu Song, Ming Gu, Li Li

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 checkingprogrampredicate abstractionweight heuristic

Mathematics Subject Classification ID

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

Uses Software

• BLAST
• FOCI

Cites Work

• Property preserving abstractions for the verification of concurrent systems
• An interpolating theorem prover
• Underapproximating Predicate Transformers
• Kleene's Logic, Generalized
• A SIMPLE TEST FOR HIDDEN PERIODICITY IN TIME SERIES DATA
• Tools and Algorithms for the Construction and Analysis of Systems
• Static Analysis
• Tools and Algorithms for the Construction and Analysis of Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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