Login / Signup
A Reachability Analysis of RT-LOTOS Specifications.
Jean-Pierre Courtiat
Roberto C. de Oliveira
Published in:
FORTE (1995)
Keyphrases
</>
reachability analysis
model checking
formal specification language
temporal logic
formal specification
markov decision processes
timed automata
incremental algorithms
state space
delay insensitive
specification language
finite state
modal logic
high level
markov chain
formal methods