Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems.

Rajeev Alur Mikhail Bernadsky

Published in: HSCC (2006)

Keyphrases

real time systems
bounded model checking
real time
distributed systems
embedded systems
artificial intelligence
multi agent systems
artificial neural networks
dynamic programming
domain specific
formal verification
timing constraints
architectural model