1219 search results - page 29 / 244 » Verification of Equivalent-Results Methods |
SAFECOMP
2001
Springer
14 years 1 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...
FMCO
2006
Springer
14 years 11 days 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...
FMICS
2010
Springer
13 years 9 months ago
2010
Springer
Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name or birthdate....
DAC
2002
ACM
14 years 9 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...
ISARCS
2010
13 years 10 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...