1914 search results - page 45 / 383 » Verification by Abstract Interpretation |
93
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
89
Voted
JLP
2008
15 years 13 days ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
104
Voted
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
SAS
2010
Springer
14 years 10 months ago
2010
Springer
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
138
click to vote
BSDIA
1997
Springer
15 years 4 months ago
1997
Springer
This paper is a description of recent advances in off-line signature verification research performed at our laboratory. Related works pertain to structural interpretation of signa...