Abstraction Refinement for Large Scale Model Checking More Books Like This

SSA-based Compiler Design SSA-based Compiler Design
SSA-based Compiler Design
2022
Application and Theory of Petri Nets and Concurrency Application and Theory of Petri Nets and Concurrency
Application and Theory of Petri Nets and Concurrency
2022