Author:
Fernandez Jean -Claude,Mounier Laurent
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. A. Bouajjani, J.C. Fernandez, S. Graf, C. Rodriguez, and J. Sifakis. Safety for Branching Time Semantics. In 18th ICALP, July 1991.
2. A. Bouajjani, J. C. Fernandez, and N. Halbwachs. On the verification of safety properties. Tech. report, Spectre L 12, IMAG, Grenoble, march 1990.
3. R. Cleaveland. On Automatically Distinguishing Inequivalent Processes. In Workshop on Computer-Aided Verification, June 1990.
4. C. Courcoubetis, M. Vardi, P. Wolper, and M. Yannakakis. Memory Efficient Algorithms for the Verification of Temporal Properties. In Workshop on Computer-Aided Verification, june 1990.
5. J. C. Fernandez. Aldébaran: A tool for verification of communicating processes. Tech. report Spectre C14, LGI-IMAG Grenoble, 1989.
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-02-06
2. On-The-Fly Bisimilarity Checking for Fresh-Register Automata;Dependable Software Engineering. Theories, Tools, and Applications;2022
3. Equivalence Checking 40 Years After: A Review of Bisimulation Tools;Lecture Notes in Computer Science;2022
4. Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities;Tools and Algorithms for the Construction and Analysis of Systems;2020
5. Measuring Masking Fault-Tolerance;Tools and Algorithms for the Construction and Analysis of Systems;2019