2873 search results - page 338 / 575 » Model Checking and the Mu-calculus |
141
click to vote
SPLC
2010
15 years 5 months ago
2010
Creating a valid software configuration of a product line can require laborious customizations involving multiple configuration file types, such as feature models, domain-specific ...
377
click to vote
JTRES
2010
ACM
15 years 4 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
144
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
134
click to vote
NJC
2006
15 years 3 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
122
click to vote
MFCS
2010
Springer
15 years 2 months ago
2010
Springer
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...