186
click to vote
TPHOL
2009
IEEE
16 years 10 days ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...