4341 search results - page 181 / 869 » Quantitative Model checking |
VMCAI
2010
Springer
15 years 10 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'...
61
Voted
ICCAD
2006
IEEE
15 years 9 months ago
2006
IEEE
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
76
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
76
Voted
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
