614 search results - page 41 / 123 » LCLint: A Tool for Using Specifications to Check Code |
AMAST
2010
Springer
13 years 3 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
APSEC
2004
IEEE
14 years 16 days ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
COMPSAC
2007
IEEE
14 years 22 days ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...
APN
2006
Springer
13 years 10 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
ENTCS
2006
13 years 8 months ago
2006
This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic c...