Verification, Model Checking, and Abstract Interpretation

Mapping Intimacies ◽

10.1007/3-540-47813-2 ◽

2002 ◽

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-54013-4 ◽

2014 ◽

Keyword(s):

Model Checking ◽

Abstract Interpretation ◽

Verification Model

Download Full-text

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

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