Clear explanations of temporal and modal logic for effective system analysis
Detailed coverage of process calculus and model checking for practical application
Extensive examples illustrate abstract concepts for deeper understanding
Suitable for advanced undergraduate and graduate courses in formal verification
Valuable reference for practitioners in computer science and software fields
Summarized by Shop
Texts in Computer Science Stirling, Colin Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suite