Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE
暂无分享,去创建一个
[1] Olivier Coudert,et al. Verifying Temporal Properties of Sequential Machines without Building Their State Diagrams , 1990, CAV.
[2] Pascal Raymond,et al. The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.
[3] Albert Benveniste,et al. The synchronous approach to reactive and real-time systems , 1991 .
[4] Amir Pnueli,et al. The Glory of the Past , 1985, Logic of Programs.
[5] Rajeev Alur,et al. Model-checking for real-time systems , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
[6] William W. Wadge,et al. Lucid, the dataflow programming language , 1985 .
[7] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[8] Gilles Kahn,et al. The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.
[9] Nicolas Halbwachs,et al. Generating Efficient Code From Data-Flow Programs , 1991, PLILP.
[10] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[11] Gérard Berry,et al. Synchronous programming of reactive systems: an introduction to ESTEREL , 1988 .
[12] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..
[13] Joseph Sifakis,et al. Verification in XESAR of the Sliding Window Protocol , 1987, PSTV.
[14] Gérard Berry,et al. Real Time Programming: Special Purpose or General Purpose Languages , 1989, IFIP Congress.
[15] E. A. Ashcroft,et al. LUCID: The data flow programming language , 1985 .
[16] Joseph Sifakis,et al. Specification and verification of concurrent systems in CESAR , 1982, Symposium on Programming.
[17] Olivier Coudert,et al. Verification of Synchronous Sequential Machines Based on Symbolic Execution , 1989, Automatic Verification Methods for Finite State Systems.
[18] Edmund M. Clarke,et al. A language for compositional specification and verification of finite state hardware controllers , 1991 .
[19] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[20] Nicolas Halbwachs,et al. LUSTRE: A declarative language for programming synchronous systems* , 1987 .
[21] Thierry Gautier,et al. Programming real-time applications with SIGNAL , 1991, Proc. IEEE.
[22] Nicolas Halbwachs,et al. LUSTRE: a declarative language for real-time programming , 1987, POPL '87.
[23] Edmund M. Clarke,et al. SML-a high level language for the design and verification of finite state machines , 1985 .