Infinite-state high-level MSCs: Model-checking and realizability

Blaise Genest; Anca Muscholl; Helmut Seidl; Marc Zeitoun

doi:10.1016/j.jcss.2005.09.007

Infinite-state high-level MSCs: Model-checking and realizability

Journal of Computer and System Sciences ◽

10.1016/j.jcss.2005.09.007 ◽

2006 ◽

Vol 72 (4) ◽

pp. 617-647 ◽

Cited By ~ 24

Author(s):

Blaise Genest ◽

Anca Muscholl ◽

Helmut Seidl ◽

Marc Zeitoun

Keyword(s):

Model Checking ◽

High Level ◽

Infinite State

Download Full-text

Infinite-State High-Level MSCs: Model-Checking and Realizability

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-45465-9_56 ◽

2002 ◽

pp. 657-668 ◽

Cited By ~ 19

Author(s):

Blaise Genest ◽

Anca Muscholl ◽

Helmut Seidl ◽

Marc Zeitoun

Keyword(s):

Model Checking ◽

High Level ◽

Infinite State

Download Full-text

Local model checking for infinite state spaces

Theoretical Computer Science ◽

10.1016/0304-3975(92)90183-g ◽

1992 ◽

Vol 96 (1) ◽

pp. 157-174 ◽

Cited By ~ 40

Author(s):

Julian Bradfield ◽

Colin Stirling

Keyword(s):

Model Checking ◽

Local Model ◽

State Spaces ◽

Infinite State ◽

Local Model Checking

Download Full-text

Model Checking Support for the ASM High-Level Language

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-46419-0_23 ◽

2000 ◽

pp. 331-346 ◽

Cited By ~ 26

Author(s):

Giuseppe Del Castillo ◽

Kirsten Winter

Keyword(s):

Model Checking ◽

High Level Language ◽

High Level

Download Full-text

A high-level model-checking tool for verifying service agreements

Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE) ◽

10.1109/sose.2011.6139120 ◽

2011 ◽

Cited By ~ 8

Author(s):

Abubkr Abdelsadiq ◽

Carlos Molina-Jimenez ◽

Santosh Shrivastava

Keyword(s):

Model Checking ◽

Level Model ◽

High Level

Download Full-text

Execution-Based Model Checking for High-Level Designs

High-Level Verification ◽

10.1007/978-1-4419-9359-5_5 ◽

2011 ◽

pp. 51-66

Author(s):

Sudipta Kundu ◽

Sorin Lerner ◽

Rajesh K. Gupta

Keyword(s):

Model Checking ◽

High Level

Download Full-text

The Railroad Crossing Problem: Towards semantics of timed algorithms and their model checking in high level languages

TAPSOFT '97: Theory and Practice of Software Development - Lecture Notes in Computer Science ◽

10.1007/bfb0030597 ◽

1997 ◽

pp. 201-212 ◽

Cited By ~ 3

Author(s):

Danièle Beauquier ◽

Anatol Slissenko

Keyword(s):

Model Checking ◽

High Level

Download Full-text

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

Applications and Theory of Petri Nets 2001 - Lecture Notes in Computer Science ◽

10.1007/3-540-45740-2_15 ◽

2001 ◽

pp. 242-262 ◽

Cited By ~ 9

Author(s):

Timo Latvala

Keyword(s):

Model Checking ◽

Petri Nets ◽

Fairness Constraints ◽

High Level

Download Full-text

Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems

Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium ◽

10.1109/icse.2000.870425 ◽

2002 ◽

Author(s):

Zhe Dang ◽

R.A. Kemmerer

Keyword(s):

Model Checking ◽

Real Time ◽

Symbolic Model Checking ◽

Real Time Systems ◽

Symbolic Model ◽

Approximation Techniques ◽

Time Systems ◽

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