2873 search results - page 140 / 575 » Model Checking and the Mu-calculus |
163
click to vote
CP
2009
Springer
15 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
15 years 10 months ago
2007
Springer
VMCAI
2010
Springer
15 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
15 years 7 months ago
2006
IEEE
