FME ...: ... International Symposium of Formal Methods Europe, ... ProceedingsSpringer-Verlag, 2002 - Computer software |
Contents
Automated Boundary Testing from Z and B | 21 |
Improvements in Coverability Analysis | 41 |
HeuristicDriven Test Case Selection from Formal Specifications | 57 |
Copyright | |
29 other sections not shown
Other editions - View all
FME '96: Industrial Benefit and Advances in Formal Methods: Third ... Marie-Claude Gaudel,James Woodcock No preview available - 1996 |
Common terms and phrases
abstract interpretation abstract model ACreln action agent algorithm Alloy analysis annotations application approach automated automatically behaviour bisimulation boolean byte code checker client component Computer Science constraint coverage daml data refinement defined definition denote described environment ESC/Java example execution expression Formal Methods formal specification formal verification function Hoare logic implementation initial input integration interface invariant iterations Java Java Card language Lemma LNCS logic loop LOTOS machine makefile model checking node NuSMV Object-Z operation output parameters postcondition precondition predicate Proc proof properties protocol prove rdfs reachable recursive regress-edge relation result rules schema Section Semantic Web semantics sequence simulation slots space Springer-Verlag stack statement structure sub-route sweep-line method techniques test suite theorem prover tool trace transition transition relation type verifier UniTesK universal quantification variables verification write