1129 search results - page 155 / 226 » Formal Verification of Websites |
110
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
146
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
118
click to vote
EUROMICRO
1996
IEEE
15 years 6 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
124
click to vote
FMCAD
2009
Springer
15 years 5 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
112
click to vote
ICFEM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...