1222 search results - page 140 / 245 » Verifying a File System Implementation |
VMCAI
2010
Springer
15 years 12 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'...
110
Voted
IEEEARES
2007
IEEE
15 years 9 months ago
2007
IEEE
The formidable difficulty in securing systems stems in large part from the increasing complexity of the systems we build but also the degree to which we now depend on information ...
145
Voted
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
137
Voted
RTA
2004
Springer
15 years 8 months ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
106
Voted
ECBS
2010
IEEE
15 years 8 months ago
2010
IEEE
The Unified Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speci...