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
Barnes and Noble

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

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

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

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

25 Years of Model Checking: History, Achievements, Perspectives

From Barnes and Noble
Symbolic Modeling of Multibody Systems
Barnes and Noble

Symbolic Modeling of Multibody Systems

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

Formal Equivalence Checking and Design Debugging / Edition 1

From Barnes and Noble
Finite and Algorithmic Model Theory
Barnes and Noble

Finite and Algorithmic Model Theory

From Barnes and Noble
Constraint-Based Verification / Edition 1
Barnes and Noble

Constraint-Based Verification / Edition 1

From Barnes and Noble
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: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

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

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

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

Symbolic Logic: Syntax, Semantics, and Proof

From Barnes and Noble
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: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

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

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

From Barnes and Noble
Formal Verification of Circuits
Barnes and Noble

Formal Verification of Circuits

From Barnes and Noble
A Roadmap for Formal Property Verification
Barnes and Noble

A Roadmap for Formal Property Verification

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

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

From Barnes and Noble
Handbook of Computer Aided Verification
Barnes and Noble

Handbook of Computer Aided Verification

From Barnes and Noble
Powered by Adeptmind