1023 search results - page 75 / 205 » Model Checking: Software and Beyond |
134
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
129
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
The specification, design and implementation of embedded systems demands new approaches which go beyond traditional hardware-based notations such as HDLs. The growing dominance of...
198
click to vote
EHCI
2004
15 years 5 months ago
2004
Software architects have techniques to deal with many quality attributes such as performance, reliability, and maintainability. Usability, however, has traditionally been concerned...
160
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
238
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...