BIRTHDAY 2007 | Sciweavers

28

BIRTHDAY
2007
Springer

126views Applied Computing» more BIRTHDAY 2007»

14 years 5 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 »

30

click to vote

BIRTHDAY
2007
Springer

78views Applied Computing» more BIRTHDAY 2007»

Models and Software Model Checking of a Distributed File Replication System

14 years 5 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 »

32

click to vote

BIRTHDAY
2007
Springer

123views Applied Computing» more BIRTHDAY 2007»

Generating Polynomial Invariants with DISCOVERER and QEPCAD

14 years 5 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 »

29

click to vote

BIRTHDAY
2007
Springer

117views Applied Computing» more BIRTHDAY 2007»

Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus

14 years 5 months ago