Part II: specifying components in RESOLVE

Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok, How the design of JML accommodates both runtime assertion checking and formal verification, Science of Computer Programming, v.55 n.1-3, p.185-208, March 2005

Saved in:
Bibliographic Details
Published in:Software engineering notes 1994-10, Vol.19 (4), p.29-39
Main Authors: Edwards, Stephen H., Heym, Wayne D., Long, Timothy J., Sitaraman, Murali, Weide, Bruce W.
Format: Article
Language:English
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok, How the design of JML accommodates both runtime assertion checking and formal verification, Science of Computer Programming, v.55 n.1-3, p.185-208, March 2005
ISSN:0163-5948
DOI:10.1145/190679.190682