CABS : a case-based and graphical requirements capture, formalisation and verification system
The use of formal specifications based on varieties of mathematical logic is becoming common in the process of designing and implementing safety critical systems and practices for hardware design. Formal methods are usually intended to include in the specification, all the important details of the f...
| Main Author: | |
|---|---|
| Published: |
University of Edinburgh
1999
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.651167 |