Abstract Interpretation and Partition Refinement for Model Checking

被引：0

作者：

机构：

来源：

Bull Eur Assoc Theor Comput Sci | / 60卷 / 296期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[31] αSPIN: A tool for abstract model checking
María del Mar Gallardo
Jesús Martínez
Pedro Merino
Ernesto Pimentel
International Journal on Software Tools for Technology Transfer, 2004, 5 (2-3) : 165 - 184
[32] A symbolic semantics for abstract model checking
Levi, F
SCIENCE OF COMPUTER PROGRAMMING, 2001, 39 (01) : 93 - 123
[33] Abstraction refinement for bounded model checking
Gupta, A
Strichman, O
COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 112 - 124
[34] Abstract Regular Tree Model Checking
Bouajjani, Ahmed
Habermehl, Peter
Rogalewicz, Adam
Vojnar, Tomas
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 149 (01) : 37 - 48
[35] Abstract regular (tree) model checking
Ahmed Bouajjani
Peter Habermehl
Adam Rogalewicz
Tomáš Vojnar
International Journal on Software Tools for Technology Transfer, 2012, 14 (2) : 167 - 191
[36] Abstract matching for software model checking
de la Cámara, P
del Mar Gallardo, M
Merino, P
MODEL CHECKING SOFTWARE, PROCEEDINGS, 2006, 3925 : 182 - 200
[37] Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation
D'Souza, Deepak
Lal, Akash
COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2017, 47 : 1 - 1
[38] Checking safety properties of behavioral VHDL descriptions by abstract interpretation
Hymans, C
STATIC ANALYSIS, PROCEEDINGS, 2002, 2477 : 444 - 460
[39] Flow: Abstract Interpretation of Java']JavaScript for Type Checking and Beyond
Chaudhuri, Avik
PROCEEDINGS OF THE 2016 ACM WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS'16), 2016, : 1 - 1
[40] A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
Barbara König
Sebastian Küpper
Soft Computing, 2018, 22 : 1103 - 1120

← 1 2 3 4 5 →