312 search results - page 12 / 63 » The eureka tool for software model checking |
102
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
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. ...
139
click to vote
UML
2004
Springer
15 years 7 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...
140
click to vote
ERSHOV
2009
Springer
14 years 11 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
210
Voted
AMAST
2010
Springer
14 years 8 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...