An analyzer for extended compositional process algebras

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 919-920

  Liu, Yang ^a   Sun, Jun ^a   Dong, Jin Song ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Fairness; Model Checking; SAT Solvers; Simulation

Indexed keywords

ART MODELS; BOUNDED MODELS; DEADLOCK FREENESS; EVENT-BASED; FAIRNESS; FAIRNESS CONSTRAINTS; GLOBAL VARIABLES; INTERACTIVE SYSTEMS; MODEL CHECKERS; MODEL-CHECKING TECHNIQUES; NUMBER OF STATE; ON THE FLIES; PARAMETERIZED; PROCESS ALGEBRAS; REACHABILITY; SAT PROBLEMS; SAT SOLVERS; SIMULATION; SUPPORT SYSTEMS; SYSTEM MODELS; SYSTEM SIMULATIONS; USER-FRIENDLY INTERFACES; ART MODEL; BOUNDED MODEL; INTERACTIVE SYSTEM; LINEAR TEMPORAL LOGIC; MODEL CHECKER; ON-THE-FLY; USER FRIENDLY INTERFACE;

ALGEBRA; COMPUTER SOFTWARE; MODEL STRUCTURES; REAL TIME SYSTEMS; SOFTWARE ENGINEERING; TEMPORAL LOGIC; COMPUTER SIMULATION;

MODEL CHECKING;

EID: 57349173969     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1370175.1370187     Document Type: Conference Paper

References (5)

1. J. S. Dong, P. Hao, J. Sun, and X. Zhang. A Reasoning Method for Timed CSP Based on Constraint Solving. In Proc. of the 8th Inter. Conf. on Formal Engineering Methods (ICFEM 2006), pages 342-359. Springer, 2006.
2. C. A. R. Hoare. Communicating Sequential Processes. Inte. Series in Computer Science. Prentice-Hall, 1985.
3. G. J. Holzmann. The Model Checker SPIN. IEEE Transactions on Software Engeering, 23(5):279-295, 1997.
4. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997.
5. J. Sun, Y. Liu, and J. S. Dong. A Simulator and Model Checker for Extended CSP. http://www.comp.nus.edu.sg/̃liuyang/pat/, 2008.