Logic programming tools and techniques for imperative program verification
Main Author: | O'Neill, I. M. |
---|---|
Published: |
University of Southampton
1987
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.380044 |
Similar Items
-
The validation and verification of low-level code
by: Clutterbuck, D. L.
Published: (1986) -
An extended interval temporal logic and a framing technique for temporal logic programming
by: Duan, Zhenhua
Published: (1996) -
The associative evaluation of logic programs and heuristic search techniques
by: Rodohan, Darren Patrick
Published: (1993) -
Abstraction in program verification
by: Latham, J. T.
Published: (1985) -
Programming in temporal logic
by: Hale, Roger William Stephen
Published: (1988)