23 research outputs found
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools
No full text
A randomized, double-blind trial of fluorouracil plus placebo versus fluorouracil plus oral leucovorin in patients with metastatic colorectal cancer.
No full text
Preliminary Design of Larch/C++
Get PDFWe describe the problems encountered in the design of Larch/C++, especially its object-oriented features. We discuss a range of possible solutions to these problems, and give the rationale for our particular solutions. We also present examples of Larch/C++ specifications and discuss differences from Larch/C
Verification of a Controller for Bart: An Approach Based on Horn Logic and Denotational Semantics
No full text
