The CBabel tool is a prototype executable environment for CBabel, that implements the given CBabel's rewriting logic semantics and allows the execution and verification of CBabel descriptions in the Maude system, an implementation of rewriting logic.
The algorithm is integrated into our NOVA Workflow framework, which facilitates design, verification, execution, and error-handling.
Topics include concurrency, real-time execution implementation, scheduling, testing, verification, real-time analysis, and software engineering concepts.
Our method exploits the short program execution traces that program verification tools generate from specification violations and that specification miners extract from programs.
Experience shows that the definition of technical safety requirements and the planning and execution of validation and verification activities has to be done jointly by OEMs and suppliers.
We evaluated the effectiveness of test case creation efforts and the automatic verification performance of environment replications, test cases extractions, and test case executions.
The tool provides an integrated environment for formal, model-based verification of the execution control of function blocks following the new international standard IEC61499.
Designers of embedded systems are only too often overwhelmed by the many skills and disciplines that have to be mastered: from writing device drivers, to worst case execution time analysis, to formal verification and modeling of continuous time systems.
This paper suggests workflow engines to take the position of a core interface between the users and a series of communities to facilitate the exchange, verification and efficient execution of scientific workflows [32].
Peleg et al. [ 1] and Mulyar et al. [ 12] focused on various dimensions of expressivity; de Clercq et al. [ 2] dealt with knowledge representation and support for guideline acquisition, verification and runtime execution.
Applications of Temporal Logic include its use as a formalism for clarifying philosophical issues about time, as a framework within which to define the semantics of temporal expressions in natural language, as a language for encoding temporal knowledge in artificial intelligence, and as a tool for specification, formal analysis, and verification of the executions of computer programs and systems.
