Author:
Ranzato Francesco,Tapparo Francesco
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference31 articles.
1. Principles of Model Checking;Baier,2008
2. Transformational design and implementation of a new efficient solution to the ready simulation problem;Bloom;Sci. Comp. Program.,1995
3. A. Bouali, Xeve: an Esterel verification environment (version v1_3). Rapport technique 214/1997, INRIA, France, 1997.
4. A. Bouali, Xeve: an Esterel verification environment, in: Proc. 10th CAV, LNCS 1427, 1998, pp. 500–504.
5. Characterizing finite Kripke structures in propositional temporal logic;Browne;Theor. Comp. Sci.,1988
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Mata: A Fast and Simple Finite Automata Library;Lecture Notes in Computer Science;2024
2. Reasoning About Regular Properties: A Comparative Study;Automated Deduction – CADE 29;2023
3. Process Equivalence Problems as Energy Games;Computer Aided Verification;2023
4. Equivalence Notions for State-Space Minimization of Combinatorial Filters;IEEE Transactions on Robotics;2021-12
5. Behavioral simulation for smart contracts;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06