1077 search results - page 1 / 216 » Formal Checking of Properties in Complex Systems Using Abstr... |
GLVLSI
1999
IEEE
13 years 9 months ago
1999
IEEE
LICS
2002
IEEE
13 years 9 months ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
EUROMICRO
2000
IEEE
13 years 9 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
IANDC
2011
12 years 11 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, ...