Formal Probabilistic Refinement Verification of Embedded Real-Time Systems.

Published in: WSTFES (2003)

Keyphrases

formal methods
embedded real time systems
probabilistic model
model checking
real world
low cost
embedded systems
real time systems
database
real time
artificial intelligence
scheduling problem
management system
formal specification
formal representation
commercial software