Developing reactive systems in a VDM framework
暂无分享,去创建一个
[1] Amir Pnueli,et al. Specification and Development of Reactive Systems (Invited Paper) , 1986, IFIP Congress.
[2] Dines Bjørner,et al. Formal specification and software development , 1982 .
[3] Pierre Wolper,et al. Verifying Properties of Large Sets of Processes with Network Invariants , 1990, Automatic Verification Methods for Finite State Systems.
[4] Jim Woodcock,et al. Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project , 1988, VDM Europe.
[5] Pierre-Yves Schobbens,et al. An experiment in formal software development: using the B theorem prover on a VDM case study , 1991, ICSE '90.
[6] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[7] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[8] A. Udaya Shankar,et al. A Relational Notation for State Transition Systems , 1990, IEEE Trans. Software Eng..
[9] K. Mani Chandy,et al. Proofs of Networks of Processes , 1981, IEEE Transactions on Software Engineering.
[10] J. Michael Spivey,et al. Understanding Z : A specification language and its formal semantics , 1985, Cambridge tracts in theoretical computer science.
[11] Amir Pnueli,et al. On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.
[12] Gerard J. Holzmann,et al. On Limits and Possibilities of Automated Protocol Analysis , 1987, PSTV.
[13] Leslie Lamport,et al. On-the-fly garbage collection: an exercise in cooperation , 1975, CACM.
[14] Nancy A. Lynch,et al. Hierarchical correctness proofs for distributed algorithms , 1987, PODC '87.
[15] Leslie Lamport,et al. Artificial Intelligence and Language Processing ]acques Cohen Editor a Simple Approach to Specifying Concurrent Systems , 2022 .
[16] Cliff B. Jones,et al. Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.
[17] K. Mani Chandy,et al. Parallel program design - a foundation , 1988 .