3082 search results - page 35 / 617 » Deviation Analysis: A New Use of Model Checking |
139
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
183
click to vote
ER
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
142
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents a new type analysis for logic programs. The analysis is performed with a priori type definitions; and type expressions are formed from a fixed alphabet of type...
154
Voted
CAV
2003
Springer
15 years 10 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
140
click to vote
EUROCRYPT
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper describes new techniques for fast correlation attacks, based on Gallager iterative decoding algorithm using parity-check equations of weight greater than 3. Th...