2488 search results - page 16 / 498 » An improvement in formal verification |
DATE
2002
IEEE
14 years 2 months ago
2002
IEEE
ions + Assume Guarantee + Induction GOAL: Formal verification of the IPCMOS architecture
ISARCS
2010
13 years 11 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...
ICCS
2007
Springer
14 years 1 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
13 years 9 months ago
2002
ICFP
2003
ACM
2003
ACM
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
14 years 9 months ago
We report on work in progress devoted to the formalization of an Ordered Logical Framework (OLF) based on a two-level architecture [8] in the Hybrid system. OLF here is a second-or...