Floating Point Verification in HOL Light: The Exponential Function
Formal Methods in System Design
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Journal of Automated Reasoning
Aircraft Trajectory Modeling and Altering Algorithm Verification
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Transcendental Functions and Continuity Checking in PVS
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Formal Verification of Conflict Detection Algorithms
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
VSDITLU: a verifiable symbolic definite integral table look-up
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Using Hammock Graphs to Structure Programs
IEEE Transactions on Software Engineering
Hidden verification for computational mathematics
Journal of Symbolic Computation
A constructive formalization of the fundamental theorem of calculus
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
Machine-assisted proof support for validation beyond Simulink
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Real number calculations and theorem proving
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Formal proof of a wave equation resolution scheme: the method error
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program
Journal of Automated Reasoning
Hi-index | 0.00 |