Paper Info
Title
Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems
Abstract
A functional formalism for describing and reasoning about the time dependent behaviour of reactive systems is presented. The model is event based and can describe the histories of events with finite duration. It is a generalisation of the model of Caspi and Halbwachs (1986). A set of tools with their operations are introduced in the formalism and structure theorems characterising the algebra of events are proved. The power of this extended model is illustrated through the formal specification and correctness proof for a problem chosen from robotics.
Year
DOI
Venue
1991
10.1007/BF01245633
Formal Asp. Comput.
Keywords
Field
DocType
Functional formalism,Durational events,Reactive systems,Formal specification,Proof of correctness,Robotics
Computer science,Correctness,Theoretical computer science,Artificial intelligence,Functional specification,Robotics,Algebra,Generalization,Algorithm,Formal specification,Real-time operating system,Formalism (philosophy),Reactive system
Journal
Volume
Issue
ISSN
3
3
0934-5043
Citations 
PageRank 
References 
11
1.13
12
Authors
2
Name
Order
Citations
PageRank
Vangalur S. Alagar116439.10
Greetha Ramanathan2152.00