1129 search results - page 9 / 226 » Formal Verification of Websites |
DATE
2002
IEEE
15 years 4 months ago
2002
IEEE
ions + Assume Guarantee + Induction GOAL: Formal verification of the IPCMOS architecture
ENTCS
2006
14 years 11 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
ISARCS
2010
15 years 1 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
106
click to vote
ICCS
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
TSE
2002
14 years 11 months ago
2002
