ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Verification, Model Checking, and Abstract Interpretation
Mapping Intimacies
◽
10.1007/978-3-642-54013-4
◽
2014
◽
Keyword(s):
Model Checking
◽
Abstract Interpretation
◽
Verification Model
Download Full-text
Related Documents
Cited By
References
Verification, Model Checking, and Abstract Interpretation
10.1007/978-3-662-46081-8
◽
2015
◽
Cited By ~ 1
Keyword(s):
Model Checking
◽
Abstract Interpretation
◽
Verification Model
Download Full-text
Verification, Model Checking, and Abstract Interpretation
10.1007/978-3-030-94583-1
◽
2022
◽
Keyword(s):
Model Checking
◽
Abstract Interpretation
◽
Verification Model
Download Full-text
Verification, Model Checking, and Abstract Interpretation
10.1007/3-540-36384-x
◽
2002
◽
Cited By ~ 1
Keyword(s):
Model Checking
◽
Abstract Interpretation
◽
Verification Model
Download Full-text
Verification, Model Checking, and Abstract Interpretation
10.1007/3-540-47813-2
◽
2002
◽
Cited By ~ 1
Keyword(s):
Model Checking
◽
Abstract Interpretation
◽
Verification Model
Download Full-text
Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation
Computer Languages Systems & Structures
◽
10.1016/j.cl.2016.06.002
◽
2017
◽
Vol 47
◽
pp. 1
Author(s):
Deepak D׳Souza
◽
Akash Lal
Keyword(s):
Model Checking
◽
Abstract Interpretation
◽
Special Issue
◽
International Conference
◽
Verification Model
Download Full-text
Preface to a special section on verification, model checking, and abstract interpretation
International Journal on Software Tools for Technology Transfer
◽
10.1007/s10009-011-0214-x
◽
2011
◽
Vol 13
(6)
◽
pp. 491-493
◽
Cited By ~ 2
Author(s):
Neil D. Jones
◽
Markus Müller-Olm
Keyword(s):
Model Checking
◽
Abstract Interpretation
◽
Special Section
◽
Verification Model
Download Full-text
Verification, Model Checking, and Abstract Interpretation
10.1007/978-3-319-73721-8
◽
2018
◽
Keyword(s):
Model Checking
◽
Abstract Interpretation
◽
Verification Model
Download Full-text
Verification, Model Checking, and Abstract Interpretation
10.1007/978-3-540-78163-9
◽
2008
◽
Cited By ~ 1
Keyword(s):
Model Checking
◽
Abstract Interpretation
◽
Verification Model
Download Full-text
Verification, Model Checking, and Abstract Interpretation
10.1007/978-3-642-35873-9
◽
2013
◽
Cited By ~ 1
Keyword(s):
Model Checking
◽
Abstract Interpretation
◽
Verification Model
Download Full-text
Verification, Model Checking, and Abstract Interpretation
10.1007/978-3-030-39322-9
◽
2020
◽
Keyword(s):
Model Checking
◽
Abstract Interpretation
◽
Verification Model
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close