The IF Toolset
作者： Marius Bozga , Susanne Graf , Ileana Ober , Iulian Ober , Joseph Sifakis
DOI: 10.1007/978-3-540-30080-9_8
关键词:
摘要: This paper presents an overview on the IF toolset which is an environment for modelling and validation of heterogeneous real-time systems. The toolset is built upon a rich formalism, the …
springer.com
sci-hub.se 
hal.science 参考文章(45)
Ileana Ober, Iulian Ober, Susanne Graf, Model checking of UML models via a mapping to communicating extended timed automata ,(2003)
Compositionality: The Significant Difference Springer Berlin Heidelberg. ,(1998) , 10.1007/3-540-49213-5
Joseph Sifakis, Modeling Real-Time Systems-Challenges and Work Directions embedded software. pp. 373- 389 ,(2001) , 10.1007/3-540-45449-7_26
Stephen J. Mellor, Kendall Scott, Axel Uhl, Dirk Weise, Model-Driven Architecture Advances in Object-Oriented Information Systems. pp. 290- 297 ,(2002) , 10.1007/3-540-46105-1_33
David Harel, Michal Politi, Modeling Reactive Systems With Statecharts : The Statemate Approach ,(1998)
Thierry Jéron, Pierre Morel, Test Generation Derived from Model-Checking computer aided verification. pp. 108- 121 ,(1999) , 10.1007/3-540-48683-6_12
Jean -Claude Fernandez, Claude Jard, Thierry Jéron, César Viho, Using On-The-Fly Verification Techniques for the Generation of test Suites computer aided verification. pp. 348- 359 ,(1996) , 10.1007/3-540-61474-5_82
K. Altisen, G. Gößler, J. Sifakis, A Methodology for the Construction of Scheduled Systems FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. pp. 106- 120 ,(2000) , 10.1007/3-540-45352-0_11
Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu, TReX: A Tool for Reachability Analysis of Complex Systems computer aided verification. pp. 368- 372 ,(2001) , 10.1007/3-540-44585-4_34
David Park, Concurrency and Automata on Infinite Sequences Theoretical Computer Science. pp. 167- 183 ,(1981) , 10.1007/BFB0017309