944 search results - page 116 / 189 » Software model checking without source code |
ECEASST
2008
13 years 10 months ago
2008
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...
ASPLOS
2008
ACM
14 years 7 days ago
2008
ACM
The C programming language is at least as well known for its absence of spatial memory safety guarantees (i.e., lack of bounds checking) as it is for its high performance. C'...
APSEC
2009
IEEE
13 years 8 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
HICSS
1999
IEEE
14 years 2 months ago
1999
IEEE
Assessing the reliability of a software system has always been an elusive target. A program may work very well for a number of years and this same program may suddenly become quit...
ICFEM
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...