426 search results - page 8 / 86 » Specification, Abduction, and Proof |
170
click to vote
JAR
2010
15 years 23 days 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...
169
click to vote
ISSE
2010
15 years 24 days 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...
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
