Property preserving simulations-Reference-Cited by-同舟云学术

Property preserving simulations

Published:1993 Issue: Volume: Page:260-273
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Bensalem S.,Bouajjani A.,Loiseaux C.,Sifakis J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-56496-9_21.pdf

Reference29 articles.

1. M. Abadi and L. Lamport. The existence of Refinement Mappings. SRC 29, Digital Equipment Corpoiation, Systems Research Center, August 1988.

2. A. Bouajjani, J.C. Fernandez, S. Graf, C. Rodriguez, and J. Sifakis. Safety for branching time semantics. In J.L. Albert, B. Monein, and M.R. Artalejo, editors, 18th ICALP, pages 76–92, LNCS 510, Springer-Verlag, October 1991.

3. A. Bouajjani. From Linear-Time Propositional Temporal Logics to a Branching-Time μ-calculus. RTC 15, LGI-IMAG, Grenoble, 1989.

4. D. Brand. Algebraic simulation between parallel programs. RC 7206 30923, IBM, Yorktown Heights, 1978.

5. J.R. Büchi. On a decision method in restricted second order arithmetic. In Intern. Cong. Logic, Method and Philos. Sci., Stantford Univ. Press, 1962.

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

1. Efficient Loop Conditions for Bounded Model Checking Hyperproperties;Tools and Algorithms for the Construction and Analysis of Systems;2023

2. Simulation Relations and Applications in Formal Methods;Lecture Notes in Computer Science;2022

3. A Game-Theoretic Approach to Simulation of Data-Parameterized Systems;Automated Technology for Verification and Analysis;2014

4. A uniform approach to three-valued semantics for μ-calculus on abstractions of hybrid automata;International Journal on Software Tools for Technology Transfer;2010-05-21

5. A Uniform Approach to Three-Valued Semantics for μ-Calculus on Abstractions of Hybrid Automata;Hardware and Software: Verification and Testing;2009