312 search results - page 27 / 63 » The eureka tool for software model checking |
109
click to vote
ICWS
2009
IEEE
15 years 11 months ago
2009
IEEE
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
137
click to vote
ICCAD
2007
IEEE
15 years 5 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
132
click to vote
ICECCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
133
click to vote
PDSE
1998
15 years 3 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
90
Voted
EMSOFT
2001
Springer
15 years 6 months ago
2001
Springer
This paper is meant to motivate tools and methods research in the field of model-based embedded software development. In particular, we include usage scenarios to describe how an a...