Moby/RT: A Tool for Specification and Verification of Real-Time Systems

[1]  Henning Dierks,et al.  PLC-automata: a new class of implementable real-time automata , 1997, Theor. Comput. Sci..

[2]  Satoshi Yamane,et al.  The symbolic model-checking for real-time systems , 1996, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.

[3]  R. W. Lewis,et al.  Programming Industrial Control Systems Using IEC 1131-3 , 1995 .

[4]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[5]  Cheryl Dietz,et al.  Graphical Formalization of Real-Time Requirements , 1996, FTRTFT.

[6]  Ernst-Rüdiger Olderog,et al.  Transformational design of real-time systems Part I: From requirements to program specifications , 1999, Acta Informatica.

[7]  Anders P. Ravn,et al.  Design of embedded real-time computing systems , 1994 .

[8]  Cheryl Kleuker.  Constraint diagrams , 2000 .

[9]  Kirsten Mark Hansen,et al.  Specifying and verifying requirements of real-time systems , 1991, SIGSOFT '91.

[10]  Ben C. Moszkowski,et al.  A Temporal Logic for Multilevel Reasoning about Hardware , 1985, Computer.

[11]  Henning Dierks,et al.  Constructing Test Automata from Graphical Real-Time Requirements , 2002, FTRTFT.

[12]  Ernst-Rüdiger Olderog,et al.  The UniForM Workbench, a Universal Development Environment for Formal Methods , 1999, World Congress on Formal Methods.

[13]  A. P. Sistla,et al.  Automatic verification of finite-state concurrent systems using temporal logic specifications , 1986, TOPL.

[14]  Henning Dierks.  Synthesising controllers from real-time specifications , 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[15]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[16]  Wang Yi,et al.  UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.

[17]  Josef Tapken,et al.  Moby/DC - a tool for model-checking parametric real-time specifications , 2003 .

[18]  Michael R. Hansen,et al.  Duration calculus: Logical foundations , 1997, Formal Aspects of Computing.

[19]  Frits W. Vaandrager,et al.  Operational and Logical Semantics for Polling Real-Time Systems , 1998, FTRTFT.

[20]  Josef Tapken.  Model checking of duration calculus specifications , 2001 .

[21]  C. A. R. Hoare,et al.  A Calculus of Durations , 1991, Inf. Process. Lett..

[22]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[23]  Michael R. Hansen,et al.  Decidability and Undecidability Results for Duration Calculus , 1993, STACS.