1914 search results - page 124 / 383 » Verification by Abstract Interpretation |
154
click to vote
JUCS
2006
15 years 5 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
151
click to vote
ASE
2005
15 years 4 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
164
click to vote
IFM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
264
click to vote
PADL
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
142
click to vote
DAC
1994
ACM
15 years 9 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...