Paper Info
Title
HTTDs and HOL
Abstract
This paper illustrates the use of hierarchical timed transition diagrams (HTTDs) and the HOL theorem prover for the formal specification and verification of a production cell. The specification generalizes the geometries and component speeds of the production cell, real-time behaviour is modelled, and verification is by partially automated deductive proof using the HOL system.
Year
DOI
Venue
1995
10.1007/3-540-58867-1_59
Formal Development of Reactive Systems
Keywords
Field
DocType
real time,theorem prover,automated deduction
HOL,Programming language,Formal specification,Mathematics
Conference
ISBN
Citations 
PageRank 
3-540-58867-1
0
0.34
References 
Authors
6
1
Name
Order
Citations
PageRank
Rachel Cardell-Oliver127133.25