1129 search results - page 143 / 226 » Formal Verification of Websites |
104
click to vote
APSEC
2001
IEEE
15 years 5 months ago
2001
IEEE
Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities a...
137
click to vote
ASM
2008
ASM
15 years 4 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
134
click to vote
ACSD
2006
IEEE
15 years 4 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
138
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
133
click to vote
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...