Verifying parameterized networks
暂无分享,去创建一个
[1] Edmund M. Clarke,et al. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic , 1981, Logic of Programs.
[2] Orna Grumberg,et al. Abstract interpretation of reactive systems , 1997, TOPL.
[3] Krzysztof R. Apt,et al. Limits for Automatic Verification of Finite-State Concurrent Systems , 1986, Inf. Process. Lett..
[4] Amir Pnueli,et al. Checking that finite state concurrent programs satisfy their linear specification , 1985, POPL.
[5] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[6] Robin Milner,et al. An Algebraic Definition of Simulation Between Programs , 1971, IJCAI.
[7] Jeffrey D Ullma. Computational Aspects of VLSI , 1984 .
[8] Edmund M. Clarke,et al. Reasoning about networks with many identical finite-state processes , 1986, PODC '86.
[9] A. Prasad Sistla,et al. Reasoning about systems with many processes , 1992, JACM.
[10] Orna Grumberg,et al. Abstract Interpretation of Reactive Systems: Abstractions Preserving 'I1CTL *. 3CTL * and CTL * , 1994 .
[11] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[12] Kedar S. Namjoshi,et al. Reasoning about rings , 1995, POPL '95.
[13] Robert P. Kurshan,et al. A structural induction theorem for processes , 1989, PODC.
[14] Edmund M. Clarke,et al. Model checking and abstraction , 1994, TOPL.
[15] Orna Grumberg,et al. Network Grammars, Communication Behaviors and Automatic Verification , 1989, Automatic Verification Methods for Finite State Systems.
[16] Samuel Eilenberg,et al. Automata, languages, and machines. A , 1974, Pure and applied mathematics.
[17] Pierre Wolper,et al. Verifying Properties of Large Sets of Processes with Network Invariants , 1990, Automatic Verification Methods for Finite State Systems.
[18] Orna Grumberg,et al. Model checking and modular verification , 1994, TOPL.
[19] E. W. Dijkstra,et al. Invariance and non-determinacy , 1984, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.
[20] Joseph Sifakis,et al. Specification and verification of concurrent systems in CESAR , 1982, Symposium on Programming.
[21] Orna Grumberg,et al. Abstract interpretation of reactive systems : abstractions preserving .. , 1994 .