Efficient software model checking of soundness of type systems

Author(s):

Michael Roberson ◽

Melanie Harries ◽

Paul T. Darga ◽

Chandrasekhar Boyapati

Keyword(s):

Model Checking ◽

Type Systems ◽

Software Model Checking ◽

Software Model ◽

Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '08 ◽

Efficient software model checking of soundness of type systems

10.1145/1449764.1449803 ◽

2008 ◽

Cited By ~ 10

Author(s):

Michael Roberson ◽

Melanie Harries ◽

Paul T. Darga ◽

Chandrasekhar Boyapati

Keyword(s):

Model Checking ◽

Type Systems ◽

Software Model Checking ◽

Software Model ◽

Program Analysis Techniques for Efficient Software Model Checking

10.21236/ada567483 ◽

2011 ◽

Author(s):

Chandrasekhar Boyapati ◽

Karem Sakallah

Keyword(s):

Model Checking ◽

Program Analysis ◽

Software Model Checking ◽

Analysis Techniques ◽

Software Model ◽

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 ◽

Efficient software model checking of data structure properties

10.1145/1167473.1167504 ◽

2006 ◽

Cited By ~ 17

Author(s):

Paul T. Darga ◽

Chandrasekhar Boyapati

Keyword(s):

Data Structure ◽

Model Checking ◽

Software Model Checking ◽

Software Model ◽

Efficient Software ◽

Structure Properties

Efficient software model checking of data structure properties

ACM SIGPLAN Notices ◽

10.1145/1167515.1167504 ◽

2006 ◽

Vol 41 (10) ◽

pp. 363-382 ◽

Author(s):

Paul T. Darga ◽

Chandrasekhar Boyapati

Keyword(s):

Data Structure ◽

Model Checking ◽

Software Model Checking ◽

Software Model ◽

Efficient Software ◽

Structure Properties

Building the Information Society - IFIP International Federation for Information Processing ◽

Static Program Transformations for Efficient Software Model Checking

10.1007/978-1-4020-8157-6_23 ◽

2008 ◽

pp. 257-281 ◽

Cited By ~ 3

Author(s):

Shobha Vasudevan ◽

Jacob A. Abraham

Keyword(s):

Model Checking ◽

Program Transformations ◽

Software Model Checking ◽

Software Model ◽

Verification of MPI Java programs using software model checking

ACM SIGPLAN Notices ◽

10.1145/3016078.2851192 ◽

2016 ◽

Vol 51 (8) ◽

pp. 1-2

Author(s):

Waqas Ur Rehman ◽

Muhammad Sohaib Ayub ◽

Junaid Haroon Siddiqui

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Software Model ◽

Java Programs

Applying software model checking to PALS systems

2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) ◽

10.1109/dasc.2014.6979625 ◽

2014 ◽

Author(s):

Min Young Nam ◽

Sagar Chaki ◽

Lui Sha ◽

Cheolgi Kim

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Software Model

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16 ◽

Verification of MPI Java programs using software model checking

10.1145/2851141.2851192 ◽

2016 ◽

Author(s):

Waqas Ur Rehman ◽

Muhammad Sohaib Ayub ◽

Junaid Haroon Siddiqui

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Software Model ◽

Java Programs

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

SMT-Based Software Model Checking

10.1007/978-3-319-02444-8_3 ◽

2013 ◽

pp. 23-23

Author(s):

Alessandro Cimatti

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Software Model

Software Model Checking of UDP-based Distributed Applications

International Journal of Networking and Computing ◽

10.15803/ijnc.5.2_373 ◽

2015 ◽

Vol 5 (2) ◽

pp. 373-402 ◽

Author(s):

Nazim Sebih ◽

Masami Hagiya ◽

Franz Weitl ◽

Mitsuharu Yamamoto ◽

Cyrille Artho ◽

...

Keyword(s):

Model Checking ◽

Distributed Applications ◽

Software Model Checking ◽

Software Model