1926 search results - page 106 / 386 » Modeling and Model Checking Software Product Lines |
211
Voted
ICDT
2009
ACM
15 years 3 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
174
Voted
SPIN
2009
Springer
16 years 21 days ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
165
Voted
COMPSAC
2009
IEEE
16 years 28 days ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
185
click to vote
CSEE
2009
Springer
16 years 22 days ago
2009
Springer
The project experience described in this paper builds upon three years of running global software development projects in an educational setting. It explicitly addresses some of t...
151
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...