About this document
Model Checking for Concurrent Programs by Chang Jingyan is a document available to read on EtoBox.
The document discusses methods to increase confidence in concurrent programs, focusing on model checking and formal methods. It highlights the advantages and disadvantages of formal methods, various approaches to model checking, and specific tools like TLA+ for verifying properties of concurrent systems. The importance of concurrent programming in distributed systems is emphasized, along with real-world applications and the growing need for formal specifications in the industry.
- Author
- Chang Jingyan
- Language
- EN