## Automated Formal Methods8 articles•116 pages•Published: April 16, 2018 ## Papers
## KeyphrasesAbstract State Machines, Automated Model Verification and Validation, Automatic transformation of programs, code generation, dimensional analysis, Equality Reasoning, executable specifications, floating-point arithmetic, Floating-point Round-off Error, formal methods ^{2}, formal verification^{2}, mixed-precision tuning, model animation, Model Based Systems Engineering, model building, Numerical accuracy, program analysis, proof certificates, real-world types, refinement proof, Rigorous Global Optimization, runtime verification, Satisfiability modulo assignment, Satisfiability Modulo Theory, SMT solver, software development, software validation, specification language, static analysis, theorem proving, theory combination, Yices |