1129 search results - page 175 / 226 » Formal Verification of Websites |
90
Voted
DSN
2007
IEEE
15 years 8 months ago
2007
IEEE
Assurance Based Development (ABD) is the synergistic construction of a critical computing system and an assurance case that sets out the dependabilit...
147
Voted
FDL
2007
IEEE
15 years 8 months ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
120
click to vote
IAT
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...
130
Voted
ECBS
2005
IEEE
15 years 7 months ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
FDL
2005
IEEE
15 years 7 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...