2488 search results - page 83 / 498 » An improvement in formal verification |
138
click to vote
CL
2008
Springer
15 years 23 days ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
109
Voted
CADE
2007
Springer
16 years 1 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
131
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
COMPSEC
2010
14 years 9 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
100
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved difficult to analyze in an automated fashion. In this pape...