Results 71 to 80 of about 864 (171)

Protocol Verification with Reactive Promela/RSPIN

, 2007
Reactive Promela/RSPIN is an extension to the protocol validator Promela/SPIN. It enhances thesimulation and verification capabilities of SPIN by allowing modular specifications to be analysed while alleviating the state-space explosion problem ...
Elie Najm, Frank Olsen
core  

Arithmetic modeling of a multilevel escape room

Frontiers in Education
The acceptance of educational escape rooms as active evaluation tools is growing throughout the educational field, covering all areas and levels. In this paper, a multilevel educational escape room has been proposed, which is composed of a series of ...
Pedro Juan Roig, Salvador Alcaraz, Katja Gilly, Cristina Bernad, Carlos Juiz   +4 more
doaj   +1 more source

Integrated Use of Oxidative Stress and Histological Biomarkers of T. tinca as Indicators of 17‐Alpha‐Ethynylestradiol Exposure

Environmental Toxicology, Volume 41, Issue 1, Page 49-67, January 2026.
ABSTRACT The potential adverse effects of 17‐alpha‐ethynylestradiol (50, 100, and 500 μg EE2/kg b.w., for 30 days) on tench ( Tinca tinca ) were evaluated by integrating biomarkers including physiological (hepato‐somatic index, spleen‐somatic index, and hematocrit), oxidative stress (catalase, glutathione peroxidase, and glutathione reductase ...
Ana L. Oropesa, Alfonso Ramos, Cesar Fallola, Luis J. Gomez   +3 more
wiley   +1 more source

Etch: An Enhanced Type Checking Tool for Promela [PDF]

, 2005
We present Etch, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type errors in Promela models which cannot currently be detected by Spin before verification or simulation.
Alastair F. Donaldson, Simon J. Gay
openaire   +1 more source

TRANSFORMASI PROMELA KE CHANNEL SYSTEM

, 2012
PROMELA is a high level language to describe a model of a system. System that has been modelled in PROMELA can be verified formally using SPIN model checker. The modelled system has to be implemented using one of the programming language.
, Sheila Nurul Huda, , Dr.-ing Mhd Reza Pulungan,   +1 more
core  

The General-Purpose Modeling, Analysis, and Implementation of Software Architectures

Havacılık ve Uzay Teknolojileri Dergisi, 2020
In this paper, a new software modeling language called SAMP is proposed, which is inspired from UML and enables the general-purpose modeling of software architectures but at the same time promotes the multiple-viewpoints modeling, formal verification of ...
Mert Özkaya
doaj  

Towards Promela verification using VerICS

, 2006
This work aims at applying the powerful symbolic methods provided by VerICS to verify system specifications written in the Promela language. We shortly describe the verification system itself and the methods of translation Promela specifications into the
Pawel Janowski, et al.
core  

'Building Graphical Promela Models using UPPAAL GUI'

, 2006
'The report proposes a new graphical input specification language g-Promela for SPIN model checker. Basic features of PROMELA language are defined using the formal syntax of graphical elements as an extension of labeled transition systems. The labels are
Lingegowda, Vasu Hossaholal
core  

Formal Analysis of the Security Protocol with Timestamp Using SPIN. [PDF]

Comput Intell Neurosci, 2022
Xiao M, Song W, Yang K, OuYang R, Zhao H.   +4 more
europepmc   +1 more source

An Estelle to Promela Compiler

, 1994
The 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 ...
Dr. Peter Jb King (supervisor, Alexandros Kaloxylos, Ros G. Kaloxylos (c   +2 more
core