“On the fly” verification of behavioural equivalences and preorders

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

Volumn 575 LNCS, Issue , 1992, Pages 181-191

  Fernandez, Jean Claude ^a   Mounier, Laurent ^a  

^a IMAG LGI ^*  (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

BISIMULATIONS; DECISION PROCEDURE; ON THE FLIES; PREORDERS; SIMULATION RELATION; TRANSITION SYSTEM;

COMPUTER AIDED ANALYSIS;

EID: 84990968899     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-55179-4_18     Document Type: Conference Paper

References (15)

1. A. Bouajjani, J.C. Fernandez, S. Graf, C. Rodriguez, and J. Sifakis. Safety for Branching Time Semantics. In 18th ICALP, july 1991.
2. A. Bouajjani, J. C. Fernandez, and N. Halbwachs. On the verification of safety properties. Tech. report, Spectre L 12, IMAG, Grenoble, march 1990.
3. R. Cleaveland. On Automatically Distinguishing Inequivalent Processes. In Workshop on Computer-Aided Verification, june 1990.
4. C. Courcoubetis, M. Vardi, P. Wolper, and M. Yannakakis. Memory Efficient Algorithms for the Verification of Temporal Properties. In Workshop on Computer-Aided Verification, june 1990.
5. J. C. Fernandez. Aldébaran: A tool for verification of communicating processes. Tech. report Spectre C14, LGI-IMAG Grenoble, 1989.
6. J. C. Fernandez and L. Mounier. Verifying Bisimulations on the Fly. In Proceedings of the Third International Conference on Formal Description Techniques FORTE’90 (Madrid, Spain), pages 91-105, North-Holland, November 1990.
7. S. Graf and J. Sifakis. Readiness Semantics for Regular Processes with Silent Action. Technical Report Projet Cesar RT-3, LGI-IMAG Grenoble, 1986.
8. Hubert Garavel and Joseph Sifakis. Compilation and Verification of LOTOS Specifications. In L. Logrippo, R. L. Probert, and H. Ural, editors, Proceedings of the 10th International Symposium on Protocol Specification, Testing and Verification (Ottawa), IFIP, North-Holland, Amsterdam, June 1990.
9. Gerard J. Holzmann. Algorithms for Automated Protocol Validation. In Proceedings of the 1st International Workshop on Automatic Verification Methods for Finite State Systems (Grenoble, France), Springer Verlag, jun 1989.
10. Claude Jard and Thierry Jeron. On-Line Model-Checking for Finite Linear Temporal Logic Specifications. In International Workshop on Automatic Verification Methods for Finite State Systems, LNCS 407, Springer Verlag, 1989.
11. Laurent Mounier and Simon Bainbridge. Specification and Verification of a Reliable Multicast Protocol. Technical Report (In preparation), Hewlett-Packard Laboratories, Bristol, U.K, 1990.
12. R. Milner. A Calculus of Communication Systems. In LNCS 92, Springer Verlag, 1980.
13. R. Paige and R. Tarjan. Three Partition Refinement Algorithms. SI AM J. Comput., No. 6, 16, 1987.
14. Juan Quemada, Santiago Pavón, and Angel Fernandez. Transforming LOTOS Specifications with LOLA: The Parametrized Expansion. In Kenneth J. Turner, editor, Proceedings of the 1st International Conference on Formal Description Techniques FORTE’88 (Stirling, Scotland), pages 45-54, North-Holland, Amsterdam, September 1988.
15. Santosh K. Shrivastava and Paul. D. Ezhilchelvan. rel/REL: A Family of Reliable Multicast Protocol for High-Speed Networks. Technical Report (In preparation), University of Newcastle, Dept. of Computer Science, U.K, 1990.