40 search results - page 3 / 8 » Integration of a Software Model Checker into Isabelle |
APSEC
1999
IEEE
14 years 6 days ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
KBSE
2000
IEEE
14 years 8 days ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
WETICE
2005
IEEE
14 years 1 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
VAMOS
2010
Springer
13 years 9 months ago
2010
Springer
The complexity of variability models makes it hard for product line engineers to maintain their consistency over time. Engineers need support to detect and resolve inconsistencies....