2488 search results - page 81 / 498 » An improvement in formal verification |
112
Voted
MEMOCODE
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
128
click to vote
EMSOFT
2006
Springer
15 years 2 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
125
click to vote
JLP
2006
15 years 19 days ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
124
click to vote
FORTE
2009
14 years 10 months ago
2009
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
This paper proposes a novel framework for offline signature verification. Different from previous methods, our approach makes use of online handwriting instead of handwritten imag...