149 search results - page 7 / 30 » Model Checking Sum and Product |
CAV
2004
Springer
15 years 3 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...
76
Voted
ML
2006
ACM
14 years 9 months ago
2006
ACM
Abstract Identifier attributes--very high-dimensional categorical attributes such as particular product ids or people's names--rarely are incorporated in statistical modeling....
GG
2004
Springer
15 years 3 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
DSN
2004
IEEE
15 years 1 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...