Verifying Imperative Programs using Auto2

MaRDI QIDQ7361938FDO

Authors Bohua Zhan

Publication date 21 December 2018

Cites work

• Automatic functional correctness proofs for functional search trees
• Efficient verification of imperative programs using auto2
• Imperative Functional Programming with Isabelle/HOL
• Introduction to algorithms.

This page was built for software: Verifying Imperative Programs using Auto2