4341 search results - page 244 / 869 » Quantitative Model checking |
121
click to vote
ENTCS
2007
15 years 2 months ago
2007
Symbolic model checking is PSPACE complete. Since QBF is the standard PSPACE complete problem, it is most natural to encode symbolic model checking problems as QBF formulas and th...
128
click to vote
ER
2005
Springer
15 years 8 months ago
2005
Springer
In this paper a novel approach for the tool–based quality assurance of models is presented. The approach provides a meta model framework for domain specific and tool–independe...
AISC
2004
Springer
15 years 8 months ago
2004
Springer
Qualitative Reasoning is characterised by making knowledge explicit in order to arrive at efficient reasoning techniques. It contrasts with often intractable quantitative models. W...
105
Voted
ESE
2000
15 years 2 months ago
2000
We present a case study that aims at quantitative assessment of the impact of requirements changes, and quantitative estimation of costs of the development activities that must be ...
127
click to vote
ECOOPW
1999
Springer
15 years 6 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...