AFM17: Volume Information

Automated Formal Methods

Papers

Keyphrases

Abstract 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², formal verification², 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.