New developments around the μcRL tool set

Electronic Notes in Theoretical Computer Science

Volumn 80, Issue , 2003, Pages 284-288

  Blom, Stefan ^a   Groote, Jan Friso ^a,b   Van Langevelde, Izak ^a   Lisser, Bert ^a   Van De Pol, Jaco ^a  

^a CWI   (Netherlands)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; DATA REDUCTION; DATA STRUCTURES; DISTRIBUTED COMPUTER SYSTEMS; THEOREM PROVING;

DATA-INTENSIVE DISTRIBUTED SYSTEMS; LABELED TRANSITION SYSTEM (LTS); LINEAR PROCESSES; SYMBOLIC MODEL CHECKER;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 18544385685     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80827-2     Document Type: Conference Paper

References (14)

1. T. Arts, C. Benac Earle, and J. Derrick. Verifying Erlang code: A resource locker case-study. In L.-H. Eriksson and P.A. Linsday, editors, Proc. of FME'02, LNCS 2391, pages 184-203. Springer, 2002.
2. T. Arts and I.A. van Langevelde. Correct performance of transaction capabilities. In Proc. of ICACSD'01, pages 35-42. IEEE, 2001.
3. S.C.C. Blom, W.J. Fokkink, J.F. Groote, I.A. van Langevelde, B. Lisser, and J.C. van de Pol. μCRL: A toolset for analysing algebraic specifications. In G. Berry etal, editor, Proc. CAV'01, LNCS 2102, pages 250-254. Springer, 2001.
4. Blom S.C.C., Orzan S.M. A distributed algorithm for strong bisimulation reduction of state spaces. Brim L., Grumberg O. Electronic Notes in Theoretical Computer Science. volume 68:2002;. Elsevier
5. S.C.C. Blom and J.C. van de Pol. State space reduction by proving confluence. In E. Brinksma and K.G. Larsen, editors, Proceedings of CAV'02, volume LNCS 2404, pages 596-609. Springer, 2002.
6. P.F.G. Dechering and I.A. van Langevelde. The verification of coordination. In A. Porto and Roman G.-C., editors, Proc. of COORDINATION'00, LNCS 1906, pages 335-340. Sringer, 2000.
7. Garavel H., Lang F., Mateescu R. An overview of CADP 2001. European Assoc. for Software Science and Technology (EASST) Newsletter. 4:2002;13-24
8. J.F. Groote and F.J.J. van Ham. Large state space visualization. In Proceedings of TACAS'03, volume LNCS 2619, pages 585-590. Springer, 2003.
9. J.F. Groote and B. Lisser. Computer assisted manipulation of algebraic process specifications. In M. Leuschel and U. Ultes-Nitsche, editors, Proc. of VCL'02, Technical Report DSSE-TR-2002-5, University of Southampton, 2002.
10. J.F. Groote and R. Mateescu. Verification of temporal properties of processes in a setting with data. In A.M. Haeberer, editor, Proc. of AMAST'98, LNCS 1548, pages 74-90. Springer, 1998.
11. Groote J.F., Pang J., Wouters A. Analysis of a distributed system for lifting trucks. J. of Logic and Algebraic Programming. 55:(1-2):2003;21-56
12. Groote J.F., Reniers M.A. Algebraic process verification. Bergstra J.A., Ponse A., Smolka S.A. Handbook of Process Algebra, chapter 17. 2001;Elsevier
13. J.F. Groote and T.A.C. Willemse. A checker for modal formulas for processes with data. Technical report, Eindhoven Univ. of Technology, Dept. of CS, 2002.
14. J. Pang, W.J. Fokkink, R. Hofman, and R. Veldema. Model checking a cache coherence protocol for a Java DSM implementation. In Proc. of IPDPS, FMPPTA. IEEE, 2003.