A Symbolic Semantics for Abstract Model Checking

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-49727-7_8 ◽

1998 ◽

pp. 134-151 ◽

Author(s):

Francesca Levi

Keyword(s):

Model Checking ◽

Abstract Model ◽

Abstract Model Checking

Download Full-text

An Algebraic Framework for Abstract Model Checking

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/3-540-45622-8_12 ◽

2002 ◽

pp. 152-169

Author(s):

Supratik Mukhopadhyay ◽

Andreas Podelski

Keyword(s):

Model Checking ◽

Abstract Model ◽

Algebraic Framework ◽

Abstract Model Checking

Download Full-text

αSPIN: A tool for abstract model checking

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-003-0122-9 ◽

2004 ◽

Vol 5 (2-3) ◽

pp. 165-184 ◽

Author(s):

María del Mar Gallardo ◽

Jesús Martínez ◽

Pedro Merino ◽

Ernesto Pimentel

Keyword(s):

Model Checking ◽

Abstract Model ◽

Abstract Model Checking

Download Full-text

Detecting spurious counterexamples efficiently in abstract model checking

2013 35th International Conference on Software Engineering (ICSE) ◽

10.1109/icse.2013.6606566 ◽

2013 ◽

Author(s):

Cong Tian ◽

Zhenhua Duan

Keyword(s):

Model Checking ◽

Abstract Model ◽

Abstract Model Checking

Download Full-text

Making Abstract Model Checking Strongly Preserving

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-45789-5_29 ◽

2002 ◽

pp. 411-427 ◽

Author(s):

Francesco Ranzato ◽

Francesco Tapparo

Keyword(s):

Model Checking ◽

Abstract Model ◽

Abstract Model Checking

Download Full-text

A symbolic semantics for abstract model checking

Science of Computer Programming ◽

10.1016/s0167-6423(00)00015-0 ◽

2001 ◽

Vol 39 (1) ◽

pp. 93-123 ◽

Author(s):

Francesca Levi

Keyword(s):

Model Checking ◽

Abstract Model ◽

Abstract Model Checking

Download Full-text

Abstract Model Checking with SOFL Hierarchy

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39277-1_6 ◽

2013 ◽

pp. 71-86 ◽

Author(s):

Cong Tian ◽

Shaoying Liu ◽

Zhenhua Duan

Keyword(s):

Model Checking ◽

Abstract Model ◽

Abstract Model Checking

Download Full-text

Code Obfuscation Against Abstract Model Checking Attacks

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-319-73721-8_5 ◽

2017 ◽

pp. 94-115 ◽

Author(s):

Roberto Bruni ◽

Roberto Giacobazzi ◽

Roberta Gori

Keyword(s):

Model Checking ◽

Abstract Model ◽

Code Obfuscation ◽

Abstract Model Checking

Download Full-text

Abstract model checking of infinite specifications

Lecture Notes in Computer Science - FME '94: Industrial Benefit of Formal Methods ◽

10.1007/3-540-58555-9_113 ◽

1994 ◽

pp. 519-531 ◽

Author(s):

Daniel Jackson

Keyword(s):

Model Checking ◽

Abstract Model ◽

Abstract Model Checking

Download Full-text

Abstract model checking infinite state systems

ACS/IEEE International Conference on Computer Systems and Applications, 2003. Book of Abstracts. ◽

10.1109/aiccsa.2003.1227515 ◽

2003 ◽

Author(s):

M. Bourahla ◽

M. Benmohamed

Keyword(s):

Model Checking ◽

Abstract Model ◽

Abstract Model Checking ◽

Infinite State Systems ◽

Download Full-text

Certifying cryptographic protocols by abstract model-checking and proof concretization

ACM SIGBED Review ◽

10.1145/1183088.1183094 ◽

2006 ◽

Vol 3 (4) ◽

pp. 37-57

Author(s):

R. Janvier ◽

Y. Lakhnech ◽

M. Périn

Keyword(s):

Model Checking ◽

Cryptographic Protocols ◽

Abstract Model ◽

Abstract Model Checking

Download Full-text