Verification of a Timed Multitask System

[1]  Zdenek Hanzálek,et al.  Formal verification of multitasking applications based on timed automata model , 2007, Real-Time Systems.

[2]  Wang Yi,et al.  A Tool Architecture for the Next Generation of Uppaal , 2002, 10th Anniversary Colloquium of UNU/IIST.

[3]  Philippe Schnoebelen,et al.  Towards the automatic verification of PLC programs written in Instruction List , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[4]  Thomas A. Henzinger,et al.  A User Guide to HyTech , 1995, TACAS.

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

[6]  Henning Dierks.  PLC-automata: a new class of implementable real-time automata , 2001, Theor. Comput. Sci..

[7]  Frits W. Vaandrager,et al.  Analysis of a biphase mark protocol with Uppaal and PVS , 2006, Formal Aspects of Computing.

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

[9]  Stavros Tripakis,et al.  The Tool KRONOS , 1996, Hybrid Systems.

[10]  Joseph Sifakis,et al.  Compositional Specification of Timed Systems (Extended Abstract) , 1996, STACS.

[11]  Jean-Jacques Lesage,et al.  Formal Verification: A Tool to Improve the Safety of Control Systems , 2000 .

[12]  Rajeev Alur,et al.  Model-Checking in Dense Real-time , 1993, Inf. Comput..

[13]  Lothar Litz,et al.  Formal methods in PLC programming , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[14]  José Machado,et al.  LOGIC CONTROLLERS DEPENDABILITY VERIFICATION USING A PLANT MODEL , 2006 .

[15]  Ernst-Rüdiger Olderog,et al.  Correct Real-Time Software for Programmable Logic Controllers , 1999, Correct System Design.