Proving the Existence of Fair Paths in Infinite-State Systems-Reference-Cited by-同舟云学术

Proving the Existence of Fair Paths in Infinite-State Systems

Published:2021 Issue: Volume: Page:104-126
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Cimatti Alessandro,Griggio Alberto,Magnago Enrico

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-67067-2_6

Reference38 articles.

1. Althoff, M.: An introduction to CORA 2015. In: Frehse, G., Althoff, M. (eds.) 1st and 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, 14 April 2014/ARCH@CPSWeek 2015, Seattle, WA, USA, 13 April 2015. EPiC Series in Computing, vol. 34, pp. 120–151. EasyChair (2015). http://www.easychair.org/publications/paper/248657

2. Lecture Notes in Computer Science;Y Annpureddy,2011

3. Lecture Notes in Computer Science;A Becchi,2019

4. Lecture Notes in Computer Science;G Behrmann,2004

5. Benvenuti, L., Bresolin, D., Collins, P., Ferrari, A., Geretti, L., Villa, T.: Assume-guarantee verification of nonlinear hybrid systems with ariadne. Int. J. Robust Nonlinear Control 24(4), 699–724 (2014)

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

1. LTL falsification in infinite-state systems;Information and Computation;2022-11

2. Verification modulo theories;Formal Methods in System Design;2022-06

3. Automatic Discovery of Fair Paths in Infinite-State Transition Systems;Automated Technology for Verification and Analysis;2021

4. Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata;Tools and Algorithms for the Construction and Analysis of Systems;2021