426 search results - page 8 / 86 » Specification, Abduction, and Proof |
JAR
2010
13 years 4 months ago
2010
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulas with equality. We first prove the existence of an ide...
ISSE
2010
13 years 4 months ago
2010
In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of thei...
KBSE
2006
IEEE
14 years 4 months ago
2006
IEEE
IPPS
1999
IEEE
14 years 2 months ago
1999
IEEE
WADT
1999
Springer
14 years 2 months ago
1999
Springer
