Login / Signup
Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems.
Vangalur S. Alagar
Greetha Ramanathan
Published in:
Formal Aspects Comput. (1991)
Keyphrases
</>
reactive systems
formal methods
provably correct
model checking
temporal logic
information flow
transition systems
petri net
control flow
state machines
real time systems
theorem prover
theorem proving
travel time
formal specification
linear logic
database
artificial intelligence