4962 search results - page 217 / 993 » Stochastic Model Checking |
CP
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
VMCAI
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
ICCAD
2006
IEEE
14 years 6 months ago
2006
IEEE
FOSSACS
2010
Springer
14 years 4 months ago
2010
Springer
