9 search results - page 1 / 2 » Providing a formal linkage between MDG and HOL |
81
Voted
FMSD
2007
14 years 11 months ago
2007
89
Voted
ATVA
2004
Springer
15 years 2 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
98
Voted
CIIA
2009
15 years 10 hour ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
100
Voted
TPHOL
1998
IEEE
15 years 3 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
78
Voted
FM
2008
Springer
15 years 13 days ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...