The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
暂无分享,去创建一个
[1] Mikael Sjödin,et al. The Timed Abstract State Machine Language: An Executable Specification Language for Reactive Real-Time Systems , 2006, RTSS 2006.
[2] Kim G. Larsen,et al. A Tutorial on Uppaal , 2004, SFM.
[3] Egon Börger,et al. The Origins and the Development of the ASM Method for High Level System Design and Analysis , 2002, J. Univers. Comput. Sci..
[4] Joseph Sifakis,et al. Tools and Applications II: The IF Toolset , 2004 .
[5] Jochen Ludewig,et al. Models in software engineering – an introduction , 2003, Software and Systems Modeling.
[6] Nancy G. Leveson,et al. Completeness and Consistency in Hierarchical State-Based Requirements , 1996, IEEE Trans. Software Eng..
[7] Kristina Lundqvist,et al. Modeling an electronic throttle controller using the timed abstract state machine language and toolset , 2006, MoDELS'06.
[8] Kristina Lundqvist,et al. Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver , 2007, MBT.