A Symbolic Model Checker for ACTL-Reference-Cited by-同舟云学术

A Symbolic Model Checker for ACTL

Published:1999 Issue: Volume: Page:228-242
ISSN:0302-9743
Container-title:Applied Formal Methods — FM-Trends 98
language:
Short-container-title:

Author:

Fantechi A.,Gnesi S.,Mazzanti F.,Pugliese R.,Tronci E.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48257-1_14

Reference28 articles.

1. D. Austry, G. Boudol. Algebre de processus et synchronization, Theoretical Computer Science, 1(30), 1984.

2. C. Bernardeschi, A. Fantechi, S. Gnesi. Formal Specification and Verification of the Inter-Channel Consistency Network, GUARDS Esprit project, Technical Report D3A4/6004c, 1997.

3. C. Bernardeschi, A. Fantechi, S. Gnesi, S. Larosa, G. Mongardi, D. Romano. A Formal Verification Environment for Railway Signaling System Design, in Formal Methods in System Design 12, 139–161, 1998.

4. A. Bouali, S. Gnesi, S. Larosa. The integration Project for the JACK Environment, Bulletin of the EATCS, n.54, pp.207–223, 1994. (see also http://repl.iei.pi.cnr.it/projects/JACK .)

5. R.S. Boyer, J.S., Moore. “A Computational Logic”, ACM Monograph Series, Academic Press, 1979.

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

1. The Legacy of Stefania Gnesi;From Software Engineering to Formal Methods and Tools, and Back;2019

2. States and Events in KandISTI;Lecture Notes in Computer Science;2019

3. From the Archives of the Formal Methods and Tools Lab;Models, Languages, and Tools for Concurrent and Distributed Programming;2019

4. Optimization of the Translation of Labeled Transition Systems to Kripke Structures;Advances in Intelligent Systems and Computing;2014

5. Efficient Symbolic Model Checking for Process Algebras;Formal Methods for Industrial Critical Systems;2009