Author:
Peyras Quentin,Brunel Julien,Chemouil David
Funder
Fundação para a Ciência e a Tecnologia
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference18 articles.
1. Temporal Logic and State Systems;Kröger,2008
2. Fragments of first-order temporal logics;Gabbay,2003
3. The Classical Decision Problem;Börger,1997
4. Ivy: safety verification by interactive generalization;Padon;ACM SIGPLAN Not.,2016
5. Reducing liveness to safety in first-order logic;Padon,2017
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献