Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software

2010 31st IEEE Real-Time Systems Symposium ◽

10.1109/rtss.2010.30 ◽

2010 ◽

Cited By ~ 45

Author(s):

Mingsong Lv ◽

Wang Yi ◽

Nan Guan ◽

Ge Yu

Keyword(s):

Model Checking ◽

Abstract Interpretation ◽

Timing Analysis

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 ◽

Cited By ~ 12

Author(s):

Frank Huch

Keyword(s):

Model Checking ◽

Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

10.1007/978-3-642-54013-4 ◽

2014 ◽

Keyword(s):

Model Checking ◽

Abstract Interpretation ◽

Verification Model

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 ◽

Cited By ~ 2

Author(s):

Roberto Giacobazzi ◽

Francesco Ranzato

Keyword(s):

Model Checking ◽

Abstract Interpretation

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

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

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 ◽

Cited By ~ 24

Author(s):

Hendrik Post ◽

Carsten Sinz ◽

Alexander Kaiser ◽

Thomas Gorges

Keyword(s):

Model Checking ◽

Abstract Interpretation ◽

Bounded Model Checking ◽

False Positives

Verification, Model Checking, and Abstract Interpretation

10.1007/978-3-030-94583-1 ◽

2022 ◽

Keyword(s):

Model Checking ◽

Abstract Interpretation ◽

Verification Model

Verification, Model Checking, and Abstract Interpretation

10.1007/3-540-36384-x ◽

2002 ◽

Cited By ~ 1

Keyword(s):

Model Checking ◽

Abstract Interpretation ◽

Verification Model

Verification, Model Checking, and Abstract Interpretation

10.1007/3-540-47813-2 ◽

2002 ◽

Cited By ~ 1

Keyword(s):

Model Checking ◽

Abstract Interpretation ◽

Verification Model

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 ◽

Cited By ~ 7

Author(s):

Cinzia Bernardeschi ◽

Nicoletta De Francesco

Keyword(s):

Model Checking ◽

Abstract Interpretation ◽

Java Bytecode ◽

Security Properties