Add to ORKGThe objective of this project is to develop a compiler for the translation of Estelle specifications into a suitable input for some validation tool. The validation tool that has been chosen for this project is SPIN (SImple PROMELA INterpreter), that can validate models described in a language called PROMELA (PROtocol MEta-LAnguage)
The language χ has been developed for modeling of industrial systems. To obtain performance measures...
In this paper a compiler from a restricted subset of SPIN's input language Promela into an acti...
International audienceEnsuring the correction of heterogeneous and complex systems is an essential s...
We present an executable formalization of the language Promela, the description language for models ...
We present an executable formalization of the language Promela, the description language for models ...
Associated research group: Minnesota Extensible Language ToolsThis paper describes how new language ...
In model checking a formal model of a software system is constructed. That model is verified against...
NOTICE: This is the author’s version of a work that was accepted for publication in Computer Standar...
The language ¿ has been developed for modeling of industrial systems. Its simulator has been success...
Abstract:For the formal verification of software, a verification tool has to be selected and it shou...
Spin is a general verification tool for proving correctness properties of concurrent/distributed sys...
S/R and Promela are two concurrent programming languages used in finite state automated verification...
We describe the Visual Interface to Promela (VIP) tool that we have recently implemented. VIP suppor...
The Spin model checker and its specification language Promela have been used extensively in industry...
The increasing development and use of computer networks has necessitated international standards to ...
The language χ has been developed for modeling of industrial systems. To obtain performance measures...
In this paper a compiler from a restricted subset of SPIN's input language Promela into an acti...
International audienceEnsuring the correction of heterogeneous and complex systems is an essential s...
We present an executable formalization of the language Promela, the description language for models ...
We present an executable formalization of the language Promela, the description language for models ...
Associated research group: Minnesota Extensible Language ToolsThis paper describes how new language ...
In model checking a formal model of a software system is constructed. That model is verified against...
NOTICE: This is the author’s version of a work that was accepted for publication in Computer Standar...
The language ¿ has been developed for modeling of industrial systems. Its simulator has been success...
Abstract:For the formal verification of software, a verification tool has to be selected and it shou...
Spin is a general verification tool for proving correctness properties of concurrent/distributed sys...
S/R and Promela are two concurrent programming languages used in finite state automated verification...
We describe the Visual Interface to Promela (VIP) tool that we have recently implemented. VIP suppor...
The Spin model checker and its specification language Promela have been used extensively in industry...
The increasing development and use of computer networks has necessitated international standards to ...
The language χ has been developed for modeling of industrial systems. To obtain performance measures...
In this paper a compiler from a restricted subset of SPIN's input language Promela into an acti...
International audienceEnsuring the correction of heterogeneous and complex systems is an essential s...