1129 search results - page 71 / 226 » Formal Verification of Websites |
ICCAD
1996
IEEE
15 years 6 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
101
click to vote
ESOP
2010
Springer
15 years 5 months ago
2010
Springer
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser inter...
129
click to vote
ENTCS
2008
15 years 2 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
100
click to vote
COMCOM
2000
15 years 1 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
121
click to vote
DSD
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...