12 search results - page 1 / 3 » Using build-integrated static checking to preserve correctne... |
CCS
2004
ACM
13 years 10 months ago
2004
ACM
SIGSOFT
2002
ACM
14 years 5 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
JOT
2010
13 years 3 months ago
2010
Design contracts can be used in software development to ensure the preservation of assertions for program correctness. This can increase reliability in software design. Design by ...
TCAD
2008
13 years 4 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
FASE
2009
Springer
13 years 11 months ago
2009
Springer
Security automata are a convenient way to describe security policies. Their typical use is to monitor the execution of an application, and to interrupt it as soon as the security p...