States vs. Traces in Model Checking by Abstract Interpretation

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-45789-5_32 ◽

2002 ◽

pp. 461-476 ◽

Author(s):

Roberto Giacobazzi ◽

Francesco Ranzato

Keyword(s):

Model Checking ◽

Abstract Interpretation

Download Full-text

Verification of Erlang programs using abstract interpretation and model checking

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99 ◽

10.1145/317636.317908 ◽

1999 ◽

Author(s):

Frank Huch

Keyword(s):

Model Checking ◽

Abstract Interpretation

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 ◽

Keyword(s):

Model Checking ◽

Abstract Interpretation ◽

Verification Model

Download Full-text

Bounded model checking and abstract interpretation of large C codebases

2017 IEEE International Workshop on Metrology for AeroSpace (MetroAeroSpace) ◽

10.1109/metroaerospace.2017.7999568 ◽

2017 ◽

Author(s):

Maurizio Martignano

Keyword(s):

Model Checking ◽

Abstract Interpretation ◽

Bounded Model Checking

Download Full-text

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

2008 23rd IEEE/ACM International Conference on Automated Software Engineering ◽

10.1109/ase.2008.29 ◽

2008 ◽

Author(s):

Hendrik Post ◽

Carsten Sinz ◽

Alexander Kaiser ◽

Thomas Gorges

Keyword(s):

Model Checking ◽

Abstract Interpretation ◽

Bounded Model Checking ◽

False Positives

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 ◽

Keyword(s):

Model Checking ◽

Abstract Interpretation ◽

Verification Model

Download Full-text

Verification, Model Checking, and Abstract Interpretation

10.1007/3-540-47813-2 ◽

2002 ◽

Keyword(s):

Model Checking ◽

Abstract Interpretation ◽

Verification Model

Download Full-text

Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode

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

10.1007/3-540-47813-2_1 ◽

2002 ◽

pp. 1-15 ◽

Author(s):

Cinzia Bernardeschi ◽

Nicoletta De Francesco

Keyword(s):

Model Checking ◽

Abstract Interpretation ◽

Java Bytecode ◽

Security Properties

Download Full-text

Proving Absence of Starvation by Means of Abstract Interpretation and Model Checking

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68167-2_1 ◽

2017 ◽

pp. 3-22

Author(s):

Helmut Seidl ◽

Ralf Vogler

Keyword(s):

Model Checking ◽

Abstract Interpretation

Download Full-text