Interactive Theorem Proving - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642140518, 9783642140525
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automated Machine-Checked Hybrid System Safety Proofs

2010 ◽  
pp. 259-274 ◽  
Author(s):  
Herman Geuvers ◽  
Adam Koprowski ◽  
Dan Synek ◽  
Eelis van der Weegen
Keyword(s):  
Hybrid System ◽  
System Safety

scholarly journals Formal Proof of a Wave Equation Resolution Scheme: The Method Error

2010 ◽  
pp. 147-162 ◽  
Author(s):  
Sylvie Boldo ◽  
François Clément ◽  
Jean-Christophe Filliâtre ◽  
Micaela Mayero ◽  
Guillaume Melquiond ◽  
...  
Keyword(s):  
Wave Equation ◽  
Formal Proof ◽  
Equation Resolution ◽  
Method Error ◽  
Resolution Scheme
Load More ...
Sign in / Sign up

Export Citation Format

Share Document