Reactive EFSMs - Reactive Promela/RSPIN
暂无分享,去创建一个
Elie Najm | Frank Olsen | E. Najm | F. Olsen
[1] Nicolas Halbwachs,et al. Data-Flow Synchronous Languages , 1993, REX School/Symposium.
[2] Gerard J. Holzmann,et al. Design and validation of computer protocols , 1991 .
[3] Wojciech Penczek,et al. A partial order approach to branching time logic model checking , 1995, Proceedings Third Israel Symposium on the Theory of Computing and Systems.
[4] Charles André,et al. A mixed implementation of a real-time system , 1990, Microprocessing and Microprogramming.
[5] Eric Madelaine,et al. AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks , 1989, FORTE.
[6] Robert de Simone,et al. The SL Synchronous Language , 1996, IEEE Trans. Software Eng..
[7] Carl A. Sunshine,et al. Protocol Specification, Testing and Verification - Guest Editorial , 1982, Comput. Networks.
[8] Frédéric Boussinot,et al. Reactive C: An extension of C to program reactive systems , 1991, Softw. Pract. Exp..
[9] Albert Benveniste,et al. The synchronous approach to reactive and real-time systems , 1991 .
[10] Gérard Berry,et al. The Semantics of Pure Esterel , 1992, NATO ASI PDC.
[11] Nicolas Halbwachs,et al. LUSTRE: A declarative language for programming synchronous systems* , 1987 .
[12] Robert de Simone,et al. Using PO Methods for Verfying Behavioural Equivalences , 1995, FORTE.
[13] Pierre Wolper,et al. Partial-Order Methods for Temporal Verification , 1993, CONCUR.
[14] Pascal Raymond,et al. A multiparadigm language for reactive systems , 1994, Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94).
[15] Antti Valmari. A stubborn attack on state explosion , 1992, Formal Methods Syst. Des..
[16] Nicolas Halbwachs,et al. Synchronous Programming of Reactive Systems , 1992, CAV.
[17] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..
[18] Albert Benveniste,et al. Signal-A data flow-oriented language for signal processing , 1986, IEEE Trans. Acoust. Speech Signal Process..
[19] Doron A. Peled. Combining Partial Order Reductions with On-the-fly Model-Checking , 1994, CAV.
[20] Georges Gonthier,et al. Incremental Development of an HDLC Entity in Esterel , 1991, Comput. Networks ISDN Syst..
[21] Patrice Godefroid,et al. Partial-Order Methods for the Verification of Concurrent Systems , 1996, Lecture Notes in Computer Science.
[22] S. Ramesh,et al. Communicating reactive processes , 1993, POPL '93.