312 search results - page 39 / 63 » The eureka tool for software model checking |
108
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
121
click to vote
CODES
2006
IEEE
15 years 3 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
125
Voted
TOOLS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
124
Voted
VLSID
2003
IEEE
16 years 2 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
122
click to vote
TOOLS
2009
IEEE
15 years 8 months ago
2009
IEEE
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...