1492 search results - page 43 / 299 » Automatic Software Model Checking Using CLP |
102
click to vote
FIDJI
2004
Springer
15 years 5 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
ACSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
115
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
134
click to vote
MSR
2009
ACM
15 years 6 months ago
2009
ACM
As more and more open-source software components become available on the internet we need automatic ways to label and compare them. For example, a developer who searches for reusa...
137
click to vote
UML
2004
Springer
15 years 6 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...