290 search results - page 14 / 58 » entcs 2006 |
79
Voted
ENTCS
2006
15 years 14 days ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
111
click to vote
ENTCS
2006
15 years 14 days ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
ENTCS
2006
15 years 14 days ago
2006
In this article we present a method to define algebraic structure (field operations) on a representation of real numbers by coinductive streams. The field operations will be given...
106
Voted
ENTCS
2006
15 years 14 days ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
98
Voted
ENTCS
2006
15 years 14 days ago
2006
This report summarises the results of the discussions of a working group on model transformation of the Dagstuhl Seminar on Language Engineering for Model-Driven Software Developme...