The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Symbolic Model Checking

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs

Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs

Barnes and Noble
Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models

Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models

Barnes and Noble
25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

Barnes and Noble
Symbolic Modeling of Multibody Systems

Symbolic Modeling of Multibody Systems

Barnes and Noble
Formal Equivalence Checking and Design Debugging / Edition 1

Formal Equivalence Checking and Design Debugging / Edition 1

Barnes and Noble
Finite and Algorithmic Model Theory

Finite and Algorithmic Model Theory

Barnes and Noble
Constraint-Based Verification / Edition 1

Constraint-Based Verification / Edition 1

Barnes and Noble
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

Barnes and Noble
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, Proceedings

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, Proceedings

Barnes and Noble
Symbolic Logic: Syntax, Semantics, and Proof

Symbolic Logic: Syntax, Semantics, and Proof

Barnes and Noble
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Barnes and Noble
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / Edition 1

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / Edition 1

Barnes and Noble
Formal Verification of Circuits

Formal Verification of Circuits

Barnes and Noble
A Roadmap for Formal Property Verification

A Roadmap for Formal Property Verification

Barnes and Noble
High-Level Verification: Methods and Tools for Verification of System-Level Designs

High-Level Verification: Methods and Tools for Verification of System-Level Designs

Barnes and Noble
Handbook of Computer Aided Verification

Handbook of Computer Aided Verification

Barnes and Noble
Powered by Adeptmind