Selective mu-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems-Reference-Cited by-同舟云学术

Selective mu-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems

Published:1997 Issue: Volume: Page:519-534
ISSN:
Container-title:Formal Description Techniques and Protocol Specification, Testing and Verification
language:
Short-container-title:

Author:

Barbuti Roberto,Francesco Nicoletta,Santone Antonella,Vaglini Gigliola

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35271-8_32

Reference31 articles.

1. A. Aziz, T.R. Shiple, V. Singhal, A.L. Sangiovanni-Vincentelli. Formula-Dependent Equivalence for Compositional CTL Model Checking. In Proceedings of Workshop on Computer Aided Verification (CAV’94), LNCS 818, 1994. 324–337.

2. R. Barbuti, N. De Francesco, A. Santone, G. Vaglini. Formula-Based Reduction of Transition Systems. Internal Report IR-3/97, Dipartimento di Ingegneria dell’Informazione, Univ. of Pisa.

3. S. Bensalem, A. Bouajjani, C. Loiseaux, J. Sifakis. Property Preserving Simulations. In Proceedings of Workshop on Computer Aided Verification (CAV’92), LNCS 663, 1992. 260–273.

4. O. Bernholtz, M.Y. Vardi, P. Wolper. An Automata-Theoretic Approach to Branching- Time Model Checking. In Proceedings of Workshop on Computer Aided Verification (CAV’94), LNCS 818, 1994. 142–155.

5. A. Bouajjani, J.C. Fernandez, S. Graf, C. Rodriguez, J. Sifakis. “Safety for Branching Time Semantics”. In Proceedings of the 18th International Colloquium on Automata, Languages and Programming LNCS 510, 1991. 76–92.

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

1. Abstract reduction in directed model checking CCS processes;Acta Informatica;2012-07-03

2. Reduced Models for Efficient CCS Verification;Formal Methods in System Design;2005-05

3. Compositionality for Improving Model Checking;IFIP Advances in Information and Communication Technology;2000

4. Eventuality in LOTOS with a Disjunction Operator;Advances in Computing Science ASIAN 98;1998

5. Formula Based Abstractions of Transition Systems for Real-Time Model Checking;FM’99 — Formal Methods