1376 search results - page 78 / 276 » Model-Driven Software Verification |
111
Voted
SAFECOMP
2001
Springer
15 years 7 months ago
2001
Springer
The paper reports on the experiences with implementation of IEC 61508 in recent projects with European, North American and Japanese system vendors. The paper describes problems id...
126
Voted
FMCO
2006
Springer
15 years 6 months ago
2006
Springer
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...
99
Voted
ENTCS
2008
15 years 2 months ago
2008
Efficient handling of quantifiers is crucial for solving software verification problems. E-matching algorithms are used in satisfiability modulo theories solvers that handle quant...
131
Voted
ICSE
2009
IEEE-ACM
15 years 15 days ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
106
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...