BIRTHDAY 2007 | Sciweavers

13

BIRTHDAY
2007
Springer

126views Applied Computing» more BIRTHDAY 2007»

13 years 10 months ago

We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...

Andrew Butterfield

claim paper

Read More »

12

click to vote

BIRTHDAY
2007
Springer

78views Applied Computing» more BIRTHDAY 2007»

Models and Software Model Checking of a Distributed File Replication System

13 years 10 months ago

Download research.microsoft.com

With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...

Nikolaj Bjørner

claim paper

Read More »

11

click to vote

BIRTHDAY
2007
Springer

123views Applied Computing» more BIRTHDAY 2007»

Generating Polynomial Invariants with DISCOVERER and QEPCAD

13 years 10 months ago

Download www.dur.ac.uk

Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...

Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan

claim paper

Read More »

7

click to vote

BIRTHDAY
2007
Springer

117views Applied Computing» more BIRTHDAY 2007»

Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus

13 years 10 months ago