Principles of the Spin Model Checker More Books Like This

Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2011
Runtime Verification Runtime Verification
Runtime Verification
2008
Advanced Lectures on Software Engineering Advanced Lectures on Software Engineering
Advanced Lectures on Software Engineering
2010
Formal Refinement for Operating System Kernels Formal Refinement for Operating System Kernels
Formal Refinement for Operating System Kernels
2007
Practical Concurrent Haskell Practical Concurrent Haskell
Practical Concurrent Haskell
2017
Software Verification and Analysis Software Verification and Analysis
Software Verification and Analysis
2009
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2006
A Practical Introduction to Computer Architecture A Practical Introduction to Computer Architecture
A Practical Introduction to Computer Architecture
2009
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2010
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2009
Model Checking Boolean Programs Model Checking Boolean Programs
Model Checking Boolean Programs
2011
Programmable Logic Controllers Programmable Logic Controllers
Programmable Logic Controllers
2015
Understanding Control Flow Understanding Control Flow
Understanding Control Flow
2016
Behavioural Types Behavioural Types
Behavioural Types
2022
Introduction to Reliable Distributed Programming Introduction to Reliable Distributed Programming
Introduction to Reliable Distributed Programming
2006