Author:
Loiseaux C.,Graf S.,Sifakis J.,Bouajjani A.,Bensalem S.,Probst David
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference40 articles.
1. M. Abadi and L. Lamport. The existence of refinement mappings.Theoretical Computer Science, 82 (2), 1991. First published as Report SRC-29, DEC Research Center in 1988.
2. A. Bouajjani, S. Bensalem, C. Loiseaux, and J. Sifakis. Property preserving simulations. InWorkshop on Computer-Aided Verification (CAV), Montréal. LNCS 630, June 1992.
3. A. Bouajjani, J.-C. Fernandez, S. Graf, J. Sifakis, and C. Rodriguez, ?Safety for branching semantics,? In18th ICALP, Madrid. LNCS 510, Springer Verlag, 1991.
4. A. Bouajjani, ?From Linear-Time Propositional Temporal Logics to a Branching-Time ?-calculus,? RTC 15, LGI-IMAG, Grenoble, 1989.
5. R. E. Bryant, ?Graph based algorithms for boolean function manipulation,?IEEE Trans. on Computation, 35 (8), 1986.
Cited by
224 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Runtime verification on abstract finite state models;Journal of Systems and Software;2024-10
2. On the Preservation of Properties When Changing Communication Models;Lecture Notes in Computer Science;2023
3. Confidence Preservation Property in Knowledge Distillation Abstractions;Artificial Intelligence XL;2023
4. Abstract interpretation repair;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
5. Abstraction for non-ground answer set programs;Artificial Intelligence;2021-11