Saving space by fully exploiting invisible transitions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1102, Issue , 1996, Pages 336-347

  Miller, Hillel ^a,b   Katz, Shmuel ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^b MOTOROLA INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED ANALYSIS; STATE SPACE METHODS;

FINITE STATE PROGRAM; LINEAR TEMPORAL LOGIC; MODEL CHECKER; PARTIAL ORDER REDUCTIONS; PRE-COMPUTATION; SPACE AND TIME; SPACE SAVINGS; SUBSTANTIAL REDUCTION;

MODEL CHECKING;

EID: 84957372985     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61474-5_81     Document Type: Conference Paper

References (10)

1. D. Dolev, M. Klawe and M. Rodeh. An O(nlogn) unidirectional distributed algorithm for extrema finding in a circle. Journal of Algorithms, volume 3, pages 245-260, 1992.
2. P. Godefroid, G.J Holzman and D. Pirottin. State space caching revisited. In Proc. 4th International Conference on Computer Aided Verification, LNCS 697, pages 178-191, Canada, June 1992.
3. P. Godefroid and P. Wolper. A partial order approach to model checking. In Proc. 6th Symposium on Logic in Computer Science, pages 406-415, Amsterdam, July 91.
4. G.J. Holzmann. An improved protocol peachability analysis technique. Software-Practice and Experience, Vol 18(2), pages 137-161,February 1988.
5. G.J. Holzmann and D. Peled. An improvement in formal verification. In Proceedings FORTE 1994 Conference, Switzerland, October 1994.
6. S. Katz and D. Peled. Conditional independence using collapses. Theoretical Computer Science, vohme 101, pages 337-359, 1992.
7. L. Lamport, What good is temporal logic? in: Proc. IFIP 9th World Congress, Paris, France (1983) 657-668.
8. D. Peled. Combining partial order reductions with on-the-fly model checking. In Proc. 6th International Conference on Computer Aided Verification, LNCS 818, pages 377-390, California, USA, June 1994.
9. A. Valmari. A stubborn attack on state explosion. Formal methods in System Design 1, pages 297-322, 1992.
10. M. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proc. 1st Symposium on Logic in Computer Science, pages 322-331, Cambridge, June 1986.