4962 search results - page 217 / 993 » Stochastic Model Checking |
303
Voted
CP
2009
Springer
16 years 7 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...
148
Voted
CADE
2007
Springer
16 years 7 months ago
2007
Springer
152
click to vote
VMCAI
2010
Springer
16 years 4 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'...
131
Voted
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
162
Voted
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
