1129 search results - page 59 / 226 » Formal Verification of Websites |
138
click to vote
IFM
2010
Springer
14 years 12 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
105
click to vote
RTAS
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we report the work carried out at VERIMAG 1 within the framework of an research cooperation with CNET 2 . The goal of this work was twofold: to formally specify the ...
111
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
EKAW
2006
Springer
15 years 5 months ago
2006
Springer
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
128
click to vote
CCS
2007
ACM
15 years 6 months ago
2007
ACM
We describe the formalization of a correctness proof for a conflict detection algorithm for firewalls in the Coq Proof Assistant. First, we give formal definitions in Coq of a fir...