LORETO: a tool for reducing state explosion in verification of LOTOS programs
- 29 September 1999
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 29 (12) , 1123-1147
- https://doi.org/10.1002/(sici)1097-024x(199910)29:12<1123::aid-spe275>3.0.co;2-6
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- CADP a protocol validation and verification toolboxLecture Notes in Computer Science, 1996
- The NCSU Concurrency WorkbenchPublished by Springer Nature ,1996
- Formula-dependent equivalence for compositional CTL model checkingPublished by Springer Nature ,1994
- Generation of reduced models for checking fragments of CTLPublished by Springer Nature ,1993
- All from one, one for all: on model checking using representativesPublished by Springer Nature ,1993
- Safety for branching time semanticsPublished by Springer Nature ,1991
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- On reduction of asynchronous systemsTheoretical Computer Science, 1977