A front-end generator for verification tools-Reference-Cited by-同舟云学术

A front-end generator for verification tools

Published:1995 Issue: Volume: Page:153-173
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Cleaveland Rance,Madelaine Eric,Sims Steve

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60630-0_8.pdf

Reference22 articles.

1. D. Austry and G. Boudol. Algèbre de processus et synchronisation. Theoretical Computer Science, 30:91–131, 1984.

2. J.C.M. Baeten and C. Verhoef. A congruence theorem for structured operational semantics with predicates. Technical Report 93/05, Eindhoven University of Technology, 1994.

3. G. Bhat, R. Cleaveland, and O. Grumberg. Efficient on-the-fly model checking for CTL*. In Tenth Annual Symposium on Logic in Computer Science (LICS '95), San Diego, July 1995. IEEE Computer Society Press.

4. B. Bloom, S. Istrail, and A. Meyer. Bisimulation can't be traced. In Fifteenth Annual ACM Symposium on Principles of Programming Languages (PoPL '88), pages 229–239, San Diego, January 1988. IEEE Computer Society Press.

5. T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. In P.H.J. van Eijk, C.A.Vissers, and M.Diaz, editors, The Formal Description Technique LOTOS, pages 23–76. North-Holland, 1989.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper);Lecture Notes in Computer Science;2021

2. Teaching Academic Concurrency to Amazing Students;Lecture Notes in Computer Science;2017

3. The LTS WorkBench;Electronic Proceedings in Theoretical Computer Science;2015-08-19

4. Transforming SOS Specifications to Linear Processes;Formal Methods for Industrial Critical Systems;2011

5. Translating FSP into LOTOS and networks of automata;Formal Aspects of Computing;2010-11