4036 search results - page 148 / 808 » Formal Methods |
159
Voted
ISEMANTICS
2010
15 years 7 months ago
2010
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...
144
click to vote
CAISE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
156
Voted
ICFEM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
137
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Transformation-based verification has been proposed to synergistically leverage various transformations to successively simplify and decompose large problems to ones whic...
150
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...