Compositional Invariant Generation for Timed Systems-Reference-Cited by-同舟云学术

Compositional Invariant Generation for Timed Systems

Published:2014 Issue: Volume: Page:263-278
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Aştefănoaei Lacramioara,Ben Rayana Souha,Bensalem Saddek,Bozga Marius,Combaz Jacques

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-54862-8_18

Reference25 articles.

1. Abdellatif, T., Combaz, J., Sifakis, J.: Model-based implementation of real-time applications. In: EMSOFT (2010)

2. Lecture Notes in Computer Science;L. Alfaro de,2002

3. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. (1994)

4. Astefanoaei, L., Rayana, S.B., Bensalem, S., Bozga, M., Combaz, J.: Compositional invariant generation for timed systems. Technical Report TR-2013-5, Verimag Research Report (2013)

5. Badban, B., Leue, S., Smaus, J.-G.: Automated invariant generation for the verification of real-time systems. In: WING@ETAPS/IJCAR (2010)

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

1. Safe Decomposition of Startup Requirements: Verification and Synthesis;Tools and Algorithms for the Construction and Analysis of Systems;2020

2. ASTROLABE;ACM Transactions on Embedded Computing Systems;2016-06-07

3. RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems;Tools and Algorithms for the Construction and Analysis of Systems;2016

4. Local Planning of Multiparty Interactions with Bounded Horizons;FM 2016: Formal Methods;2016

5. Compositional Parameter Synthesis;FM 2016: Formal Methods;2016