Jones - Symbolic Simulation Methods for Industrial Formal Verification - X555z

Symbolic Simulation Methods for Industrial Formal Verification by Robert B Jones

Leveraging Applications of Formal Methods, Verification and Validation. Applicat

Jones - Symbolic Simulation Methods for Industrial Formal Verification - X555z

Leveraging Applications of Formal Methods, Verification and Validation. Verif...

Simple Formal Logic: With Common-Sense Symbolic Techniques

Critical Systems - Formal Methods and Automated Verification : Joint 22nd Int...

Leveraging Applications of Formal Methods, Verification and Validation - Dist...