Login / Signup
Compositional Verification of Timed Components using PVS.
Marcel Kyas
Jozef Hooman
Published in:
Software Engineering (2006)
Keyphrases
</>
timed automata
model checking
formal verification
theorem prover
petri net
markov chain
verification method
artificial intelligence
information systems
artificial neural networks
software engineering
temporal logic
theorem proving
discrete event
asynchronous circuits