1633 search results - page 38 / 327 » On the Verification of Temporal Properties |
HYBRID
2010
Springer
13 years 9 months ago
2010
Springer
AMAI
2008
Springer
13 years 7 months ago
2008
Springer
CORR
2009
Springer
13 years 5 months ago
2009
Springer
EJWCN
2010
13 years 2 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
FMCO
2003
Springer
14 years 24 days ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...