Related references
Note: Only part of the references are listed.Behavioral Interface Specification Languages
John Hatcliff et al.
ACM COMPUTING SURVEYS (2012)
Software model checking
Ranjit Jhala et al.
ACM COMPUTING SURVEYS (2009)
The verifying compiler: A grand challenge for computing research
T Hoare
JOURNAL OF THE ACM (2003)
Dynamically discovering likely program invariants to support program evolution
MD Ernst et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2001)