854 search results - page 74 / 171 » Addressing Dynamic Issues of Program Model Checking |
141
click to vote
SIGOPS
2008
15 years 2 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
125
click to vote
BPM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
107
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
111
Voted
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
109
Voted
WSC
2001
15 years 3 months ago
2001
Hybrid agent-based simulation is required to provide a mechanism for analyzing large-scale complex systems, such as the National Airspace System (NAS). The dynamic behavior of man...