1492 search results - page 132 / 299 » Automatic Software Model Checking Using CLP |
APN
2008
Springer
15 years 17 hour ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
WCRE
2006
IEEE
15 years 4 months ago
2006
IEEE
The understanding of the structure of a software system can be improved by analyzing the system’s evolution during development. Visualizations of software history that provide o...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...
101
click to vote
SEUS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...
108
click to vote
FIDJI
2003
Springer
15 years 3 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...