Abstract. EB3 is a specification language for information systems. The core of the EB3 language consists of process algebraic specifications de-.
Abstract. eb3 is a specification language for information systems. The core of the eb3 language consists of process algebraic specifications de-.
We automated this translation with the EB32LNT tool, thus equipping the EB3 method with the functional verification features available in the CADP toolbox.
The core of the EB3 language consists of process algebraic specifications describing the behaviour of the entities in a system, and attribute function.
Mar 4, 2016 · The verification of E B 3 specifications against temporal properties is of great interest to users of E B 3 . In this paper, we propose a ...
The core of the language consists of process algebraic specifications describing the behaviour of the entities in a system, and attribute function definitions ...
Verification of EB3 specifications using CADP - Inria - Institut ...
inria.hal.science › hal-01290460
We automated this translation with the EB32LNT tool, thus equipping the EB3 method with the functional verification features available in the CADP toolbox.
The verification of E B 3 specifications against temporal properties is of great interest to users of E B 3 . In this paper, we propose a translation from E B 3 ...
Verification of EB3 specifications using CADP · Abstract · List of references · Publications that cite this publication.
... We then present how EB 3 specifications can be translated to LNT for verification with CADP through an intuitive example and give some conclusions and lines ...