2488 search results - page 250 / 498 » An improvement in formal verification |
190
click to vote
POPL
2002
ACM
16 years 1 months ago
2002
ACM
It is an important criterion of program correctness that a program accesses resources in a valid manner. For example, a memory region that has been allocated should be eventually ...
DSN
2007
IEEE
15 years 7 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...
144
click to vote
FDL
2007
IEEE
15 years 7 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...
113
click to vote
IAT
2007
IEEE
15 years 7 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...
126
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...