Automated formal verification of protocols
暂无分享,去创建一个
[1] Amir Pnueli,et al. Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.
[2] Jean Arlat,et al. Fault injection for formal testing of fault tolerance , 1996, IEEE Trans. Reliab..
[3] Somesh Jha,et al. Verification of the Futurebus+ cache coherence protocol , 1993, Formal Methods Syst. Des..
[4] Tadao Murata,et al. Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis , 1994, IEEE Trans. Software Eng..
[5] Jonathan S. Ostroff,et al. Deciding Properties of Timed Transition Models , 1990, IEEE Trans. Parallel Distributed Syst..
[6] Edmund M. Clarke,et al. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic , 1981, Logic of Programs.