3147 search results - page 26 / 630 » Open-Source Model Checking |
SIGMOD
2010
ACM
13 years 6 months ago
2010
ACM
Tuning tools attempt to configure a database to achieve optimal performance for a given workload. Selecting an optimal set of physical structures is computationally hard since it ...
ATVA
2009
Springer
14 years 2 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
TACAS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
FSTTCS
2007
Springer
14 years 1 months ago
2007
Springer
