10870 search results - page 238 / 2174 » Model Checking Programs |
86
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
93
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...
82
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
95
Voted
VMCAI
2010
Springer
15 years 11 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'...
70
Voted
ICCAD
2006
IEEE
15 years 11 months ago
2006
IEEE
