4341 search results - page 115 / 869 » Quantitative Model checking |
114
Voted
ICFEM
2010
Springer
15 years 22 days ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
118
Voted
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
119
Voted
TASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
104
Voted
MIR
2003
ACM
15 years 7 months ago
2003
ACM
Automatic semantic annotation of sports video requires that the domain knowledge is properly included and exploited in the annotation process and that low and intermediate-level f...
138
Voted
KBSE
2000
IEEE
15 years 6 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...