312 search results - page 42 / 63 » The eureka tool for software model checking |
102
click to vote
SOFTVIS
2003
ACM
15 years 7 months ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...
104
Voted
KBSE
2000
IEEE
15 years 6 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
131
click to vote
ASWEC
2007
IEEE
15 years 8 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
104
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
110
click to vote
TOOLS
1999
IEEE
15 years 6 months ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...