A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested i

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested i

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested i

This book describes an accurate analysis technique for energy systems based on formal methods—computer-based mathematical logic techniques for the specificati

A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verificati