BOOK-CHAPTER
Experiments with Multiple Abstraction Heuristics in Symbolic Verification
Kairong QianAlbert NymeyerSteven Susanto
Year: 2005 Lecture notes in computer science Pages: 290-304 Publisher: Springer Science+Business Media
Keywords:
Heuristics Binary decision diagram Merge (version control) Model checking Computer science Heuristic Theoretical computer science State space Mathematics Algorithm Mathematical optimization Artificial intelligence Parallel computing
Metrics
3
Cited By
0.28
FWCI (Field Weighted Citation Impact)
29
Refs
0.54
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Model-Driven Software Engineering Techniques
Physical Sciences → Computer Science → Software
Related Documents
JOURNAL ARTICLE
Symbolic perimeter abstraction heuristics for cost-optimal planning
Álvaro TorralbaCarlos Linares LópezDaniel Borrajo
Journal: Artificial Intelligence Year: 2018 Vol: 259 Pages: 1-31
BOOK-CHAPTER
A tool for symbolic program verification and abstraction
Lecture notes in computer science Year: 1993 Pages: 71-84
JOURNAL ARTICLE
Symbolic execution with abstraction
Saswat AnandCorina S. PăsăreanuWillem Visser
Journal: International Journal on Software Tools for Technology Transfer Year: 2008 Vol: 11 (1)Pages: 53-67
DISSERTATION
Formal symbolic verification using heuristic search and abstraction techniques
University: UNSWorks (University of New South Wales, Sydney, Australia) Year: 2006