312 search results - page 25 / 63 » The eureka tool for software model checking |
109
Voted
WWW
2004
ACM
16 years 2 months ago
2004
ACM
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...
131
click to vote
ECOOPW
1998
Springer
15 years 6 months ago
1998
Springer
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...
139
click to vote
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
142
click to vote
SPIN
2007
Springer
15 years 7 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
127
click to vote
ECEASST
2008
15 years 1 months ago
2008
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...