Infinite State Model Checking by Abstract Interpretation and Program Specialisation

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/10720327_5 ◽

2000 ◽

pp. 62-81 ◽

Cited By ~ 31

Author(s):

Michael Leuschel ◽

Thierry Massart

Keyword(s):

Model Checking ◽

Abstract Interpretation ◽

State Model ◽

Program Specialisation ◽

Infinite State

Download Full-text

Infinite State Model Checking with Arithmetic Constraints

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547697 ◽

2008 ◽

Author(s):

Tevfik Bultan

Keyword(s):

Model Checking ◽

State Model ◽

Infinite State

Download Full-text

Image Computation in Infinite State Model Checking

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27813-9_28 ◽

2004 ◽

pp. 361-371

Author(s):

Alain Finkel ◽

Jérôme Leroux

Keyword(s):

Model Checking ◽

State Model ◽

Image Computation ◽

Infinite State

Download Full-text

Applying Infinite State Model Checking and Other Analysis Techniques to Tabular Requirements Specifications of Safety-Critical Systems

10.21236/ada492019 ◽

2006 ◽

Author(s):

Tevfik Bultan ◽

Constance Heitmeyer

Keyword(s):

Model Checking ◽

State Model ◽

Critical Systems ◽

Safety Critical ◽

Analysis Techniques ◽

Requirements Specifications ◽

Safety Critical Systems ◽

Infinite State

Download Full-text

Selfless Interpolation for Infinite-State Model Checking

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

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

2017 ◽

pp. 495-515 ◽

Cited By ~ 2

Author(s):

Tanja Schindler ◽

Dejan Jovanović

Keyword(s):

Model Checking ◽

State Model ◽

Infinite State

Download Full-text

Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems

Design Automation for Embedded Systems ◽

10.1007/s10617-008-9014-2 ◽

2008 ◽

Vol 12 (1-2) ◽

pp. 97-137 ◽

Cited By ~ 3

Author(s):

Tevfik Bultan ◽

Constance Heitmeyer

Keyword(s):

Model Checking ◽

State Model ◽

Critical Systems ◽

Safety Critical ◽

Analysis Techniques ◽

Requirements Specifications ◽

Safety Critical Systems ◽

Infinite State

Download Full-text

Fast Infinite-State Model Checking in Integer-Based Systems

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45220-1_46 ◽

2003 ◽

pp. 546-573 ◽

Cited By ~ 2

Author(s):

Tatiana Rybina ◽

Andrei Voronkov

Keyword(s):

Model Checking ◽

State Model ◽

Infinite State

Download Full-text

Analyzing tabular requirements specifications using infinite state model checking

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06 ◽

10.1109/memcod.2006.1695895 ◽

2006 ◽

Cited By ~ 2

Author(s):

T. Bultan ◽

C. Heitmeyer

Keyword(s):

Model Checking ◽

State Model ◽

Requirements Specifications ◽

Infinite State

Download Full-text

Infinite State Model-Checking of Propositional Dynamic Logics

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/11874683_23 ◽

2006 ◽

pp. 349-364 ◽

Cited By ~ 3

Author(s):

Stefan Göller ◽

Markus Lohrey

Keyword(s):

Model Checking ◽

State Model ◽

Infinite State ◽

Dynamic Logics

Download Full-text

Infinite-State Model Checking of LTLR Formulas Using Narrowing

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-12904-4_6 ◽

2014 ◽

pp. 113-129 ◽

Cited By ~ 8

Author(s):

Kyungmin Bae ◽

José Meseguer

Keyword(s):

Model Checking ◽

State Model ◽

Infinite State

Download Full-text

Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-45657-0_32 ◽

2002 ◽

pp. 386-400 ◽

Cited By ~ 13

Author(s):

Tatiana Rybina ◽

Andrei Voronkov

Keyword(s):

Model Checking ◽

State Model ◽

Canonical Representations ◽

Speed Up ◽

Infinite State

Download Full-text