614 search results - page 8 / 123 » LCLint: A Tool for Using Specifications to Check Code |
SAS
2005
Springer
14 years 29 days ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
CODES
1999
IEEE
13 years 11 months ago
1999
IEEE
This paper introduces a flexible code generation framework dedicated to the design of application specific programmable processors. This tool allows the user to build specific com...
SEKE
2005
Springer
14 years 29 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
SIMUTOOLS
2008
13 years 9 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
SPIN
2005
Springer
14 years 29 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...