Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning
暂无分享,去创建一个
[1] R. Alur. Techniques for automatic verification of real-time systems , 1991 .
[2] P. Varaiya,et al. Discretization of timed automata , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.
[3] Thomas A. Henzinger,et al. Logics and Models of Real Time: A Survey , 1991, REX Workshop.
[4] Jorge García Duque,et al. SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study , 2001, Formal Aspects of Computing.
[5] Marsha Chechik,et al. Efficient Multiple-Valued Model-Checking Using Lattice Representations , 2001, CONCUR.
[6] A. Tarski. A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .
[7] H. Wong-Toi,et al. The control of dense real-time discrete event systems , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.
[8] Rajeev Alur,et al. Model-Checking in Dense Real-time , 1993, Inf. Comput..
[9] Kim Guldstrand Larsen,et al. From Timed Automata to Logic - and Back , 1995 .
[10] Rajeev Alur,et al. Minimization of Timed Transition Systems , 1992, CONCUR.
[11] Egon Börger,et al. Formal Methods for Industrial Applications , 1996, Lecture Notes in Computer Science.
[12] Egon Börger,et al. Formal methods for industrial applications : specifying and programming the steam boiler control , 1996 .
[13] Ana Fernández Vilas. Tratamiento formal de sistemas con requisitos de tiempo real críticos , 2002 .
[14] Amir Pnueli,et al. On Discretization of Delays in Timed Automata and Digital Circuits , 1998, CONCUR.
[15] Scott A. Smolka,et al. Local Model Checking for Real-Time Systems (Extended Abstract) , 1995, CAV.
[16] Kim G. Larsen,et al. Timed Modal Specification - Theory and Tools , 1993, CAV.