Wiki
Agenda
Contact
Version française
Toccata
Formally Verified Programs, Certified Tools and Numerical Computations
Home
Members
Software
Software
Gallery of verified programs
Projects
Publications
Jobs
see also the
index
(by topic, by tool, by reference, by year)
Thi Minh Tuyen Nguyen
http://www.lri.fr/~nguyen/
KB3D: an avionics example
Scalar product of vectors using floating-point numbers
see also the
index
(by topic, by tool, by reference, by year)