458 search results - page 6 / 92 » Modeling and Formal Verification of DHCP Using SPIN |
167
click to vote
JAR
2008
15 years 3 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...
124
click to vote
DAC
2001
ACM
16 years 4 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
148
click to vote
CAI
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
132
click to vote
ENTCS
2006
15 years 3 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
CAV
1990
Springer
15 years 7 months ago
1990
Springer
Ternary system modeling involves extending the traditional set of binary values