585 search results - page 28 / 117 » Structured Formal Development in Isabelle |
103
click to vote
LPAR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
NIPS
2000
15 years 1 months ago
2000
We study the problem of combining the outcomes of several different classifiers in a way that provides a coherent inference that satisfies some constraints. In particular, we deve...
NAR
2006
14 years 11 months ago
2006
The increasing amount of genomic and molecular information is the basis for understanding higherorder biological systems, such as the cell and the 15 organism, and their interacti...
113
click to vote
FMICS
2008
Springer
15 years 1 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
125
click to vote
MKM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...