469 search results - page 28 / 94 » Reasoning About Method Calls in Interface Specifications |
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
ICSE
1999
IEEE-ACM
14 years 1 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
SG
2007
Springer
14 years 2 months ago
2007
Springer
: We propose a sketch-based interface for modeling the myocardial fiber orientation required in the electrophysiological simulation of the heart, especially the ventricles. The use...
EMSOFT
2007
Springer
14 years 20 days ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
PERCOM
2006
ACM
14 years 8 months ago
2006
ACM
A pervasive system features a plethora of devices, services and applications organized as a large distributed system. One approach to managing such systems is by policies where ad...