Automatic runtime consistency checking and debugging of formally specified programs

Surveyors' forum: runtime checking and debugging of formally specified programs

ACM Computing Surveys (CSUR)

Run-time consistency checking of algebraic specifications

TAV4 Proceedings of the symposium on Testing, analysis, and verification

Towards a method of programming with assertions

ICSE '92 Proceedings of the 14th international conference on Software engineering

A Practical Approach to Programming With Assertions

IEEE Transactions on Software Engineering

Concurrent Runtime Monitoring of Formally Specified Programs

Computer