2873 search results - page 338 / 575 » Model Checking and the Mu-calculus |
163
click to vote
SPLC
2010
15 years 7 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 ...
430
click to vote
JTRES
2010
ACM
15 years 6 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...
167
click to vote
CORR
2010
Springer
15 years 6 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...
163
click to vote
NJC
2006
15 years 6 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 ...
144
click to vote
MFCS
2010
Springer
15 years 4 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...