8828 search results - page 140 / 1766 » Formal methods in practice |
154
click to vote
ESORICS
2012
Springer
13 years 6 months ago
2012
Springer
Given the sensitive nature of health data, privacy of eHealth systems is of prime importance. An eHealth system must enforce that users remain private, even if they are bribed or c...
142
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
119
click to vote
ASM
2000
ASM
15 years 8 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
137
click to vote
TAP
2007
Springer
15 years 10 months ago
2007
Springer
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
158
click to vote
MKM
2009
Springer
15 years 11 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...