862 search results - page 91 / 173 » Model Checking Interrupt-Dependent Software |
DGO
2008
15 years 1 months ago
2008
The Florida Public Hurricane Loss Model (FPHLM) developed in the State of Florida offers an open, public and effective tool for the government to regulate the insurance ratemaking...
TACAS
2010
Springer
14 years 9 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
SPIN
2007
Springer
15 years 6 months ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
120
click to vote
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...