CHESS : Systematic Testing of Concurrent Programs Madan Musuvathi Shaz Qadeer Microsoft Research.
Model Checking and Testing combined Doron Peled, University of Warwick.
Automatic Verification Book: Chapter 6. How can we check the model? The model is a graph. The specification should refer the the graph representation.
Integrated State Space Reduction for Model Checking Executable Object-oriented Software System Designs Fei Xie and James C. Browne Dept. of Computer Sciences.
Http://ecug.org Writing Better Telecom Software with Erlang Style 段先德 2008.12.
Kaplan - Systems and Software - Spring Review 2013
.ppt
SPAF Stateless FSA-Based Packet Filters
S CALABLY VERIFIABLE DYNAMIC POWER MANAGEMENT Opeoluwa Matthews, Meng Zhang, and Daniel J. Sorin 20th International Symposium on High Performance Computer.
1 Formal Methods in SE Qaisar Javaid Assistant Professor Lecture # 11.
Model Checking Large-Scale Software Natasha Sharygina Carnegie Mellon University Software Engineering Institute.
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction based on STG Unfoldings V. Khomenko, A. Madalinski and A. Yakovlev University.