An extended interval temporal logic and a framing technique for temporal logic programming
Temporal logic programming is a paradigm for specification and verification of concurrent programs in which a program can be written, and the properties of the program can be described and verified in a same notation. However, there are many aspects of programming in temporal logics that are not wel...
Main Author: | |
---|---|
Published: |
University of Newcastle Upon Tyne
1996
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.285363 |