Mastering Alloy Modeling: Practical Techniques for Formal Specification, Analysis, and Verification

Handbook of Formal Analysis and Verification in Cryptography

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

Program Refinement: Formal Methods, Verification, Specification, Executable Program, Stepwise Refinement, Implication

Regression Analysis Using MATLAB: Practical Techniques, Real Data Examples, and Step by Modeling