1129 search results - page 24 / 226 » Formal Verification of Websites |
HF
2002
14 years 11 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
FMCAD
2009
Springer
15 years 6 months ago
2009
Springer
104
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Iterated Register Coalescing (IRC) is a widely used heuristic for performing register allocation via graph coloring. Many implementations in existing compilers follow (more or less...
100
click to vote
ETFA
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
DSD
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...