2488 search results - page 31 / 498 » An improvement in formal verification |
91
Voted
TSE
2002
15 years 12 days ago
2002
117
Voted
BPM
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
CACM
2010
15 years 27 days ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
HF
2002
15 years 17 days 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...
68
Voted
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer