334 search results - page 33 / 67 » A parametric analysis of the state-explosion problem in mode... |
122
click to vote
IANDC
2011
14 years 7 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
104
Voted
PG
2007
IEEE
15 years 7 months ago
2007
IEEE
We describe a new algorithm for the visualisation of implicit algebraic curves, which isolates the singular points, compute the topological degree around these points in order to ...
115
Voted
ATVA
2010
Springer
15 years 1 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
75
Voted
FMSD
2006
15 years 25 days ago
2006
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...
98
Voted
SIMUTOOLS
2008
15 years 2 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...