Login / Signup
Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction.
Henrik Ejersbo Jensen
Kim Guldstrand Larsen
Arne Skou
Published in:
FTRTFT (2000)
Keyphrases
</>
real time systems
timed automata
real time
model checking
embedded systems
distributed systems
high level
mission critical
timing constraints
real time database systems
architectural model
real time embedded
case study
computer science
automatically generated