Results 51 to 60 of about 864 (171)

Diagrammes de Décision de Données pour l'analyse de systèmes ProMeLa

, 2005
In this paper, we show how to verify CTL properties, using symbolic methods, on systems written inProMeLa. Symbolic representation is based on Data Decision Diagrams (DDDs) which are n-valued DAGs designed to represent dynamic systems with integer domain
Beaudenon, Vincent, Encrenaz, Emmanuelle, Taktak, Sami   +2 more
core   +3 more sources

Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin

IEEE Access, 2017
Formally defined Specification and Description Language (SDL) is used for the design and specification of complex safety-critical systems. Each change in the specification of the product should be immediately checked formally against the requirements ...
Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik   +2 more
doaj   +1 more source

Extending promela and spin for real time [PDF]

, 1996
The efficient representation and manipulation of time information is key to any successful implementation of a verification tool. We extend the syntax and semantics of the higher level specification language Promela to include constructs and statements based on the model of timed Buchi automata [2].
Stavros Tripakis, Costas Courcoubetis
openaire   +1 more source

Automated Profiling of Social Behaviors to Assess the Genetic Basis of Evolution of Aggressive Behaviors in Astyanax mexicanus

Journal of Experimental Zoology Part A: Ecological and Integrative Physiology, Volume 345, Issue 5, Page 486-497, June 2026.
ABSTRACT Across the animal kingdom, social behaviors such as aggression are critical for survival and reproductive success. While there is significant variation in social behaviors within and between species, the genetic mechanisms underlying natural variation in social behaviors are poorly understood.
Renee Mapa, Stefan Choy, Solomia Lapko, Allison Kimmel, Isabel Carino‐Bazan, Johanna E. Kowalko   +5 more
wiley   +1 more source

A denotational semantics for PROMELA addressing arbitrary jumps

CoRR, 2021
PROMELA (Process Meta Language) is a high-level specification language designed for modeling interactions in distributed systems. PROMELA is used as the input language for the model checker SPIN (Simple Promela INterpreter). The main characteristics of PROMELA are non-determinism, process communication through synchronous as well as asynchronous ...
Marco Comini, María-del-Mar Gallardo, Alicia Villanueva   +2 more
openaire   +2 more sources

Brownotate, a Comprehensive Solution to Generate Protein Sequence Databases for Any Species

PROTEOMICS, Volume 26, Issue 5, Page 13-26, May 2026.
ABSTRACT Proteomics is strengthening research in biology and the diversification of the model organisms studied is very promising for fully understanding the complexity of biological principles. However, the lack of protein sequence databases for many species is a major bottleneck.
Adrien Brown, Alexandre Burel, Sarah Cianférani, Christine Carapito, Fabrice Bertile   +4 more
wiley   +1 more source

Prioritising research on endocrine disruption in the marine environment: a global perspective

Biological Reviews, Volume 101, Issue 2, Page 848-868, April 2026.
ABSTRACT A healthy ocean is a crucial life support system that regulates the global climate, is a source of oxygen and supports major economic activities. A vast and understudied biodiversity from micro‐ to macro‐organisms is integral to ocean health.
Patricia I. S. Pinto, Angelica Miglioli, Carlie A. LaLone, Lisa Baumann, Alice Baynes, Mélanie Blanc‐Legendre, Ibon Cancio, Xavier Cousin, ZhiChao Dang, Rémi Dumollard, Alex T. Ford, Christopher Green, Taisen Iguchi, Philippa Kearney, Thomas Knigge, Christophe Minier, Tiphaine Monsinjon, Marta S. Monteiro, Joachim Sturve, Haruna Watanabe, Hiroshi Yamamoto, Gerald Ankley, Deborah M. Power, Ioanna Katsiadaki   +23 more
wiley   +1 more source

Exposure to the Oestrogenic Pollutant 17α‐Ethinyl Estradiol (EE2) Does Not Alter the Behaviour of a Coastal Marine Fish, Cristiceps australis

Ethology, Volume 132, Issue 4, Page 295-304, April 2026.
Environmental contamination with the synthetic estrogen 17α‐ethinyl estradiol (EE2) is widespread in coastal ecosystems, yet behavioural effects in marine fishes remain poorly understood. We exposed southern crested weedfish (Cristiceps australis) to low and high EE2 concentrations for 14 days and assessed boldness and anxiety using a refuge‐use assay.
Shiho Ozeki, Rhiannon V. Eastment, Jack L. Manera, Raiko Rafeeq, Anne Peters, Jake M. Martin, Bob B. M. Wong   +6 more
wiley   +1 more source

Fish Assemblages Associated With Multiscale Environmental Variables in Agriculturally Impacted Streams

Aquatic Conservation: Marine and Freshwater Ecosystems, Volume 36, Issue 3, March 2026.
ABSTRACT Agricultural development is a global wide‐spread alteration to natural landscapes that can impact stream fish assemblages at multiple scales. Knowing how environmental variables affect stream fish diversity and abundance is important for the conservation and management of stream fish assemblages.
Eli J. Lagacy, Michael J. Weber
wiley   +1 more source

VERIFICATION OF PARALLEL AUTOMATA-BASED PROGRAMS [PDF]

Научно-технический вестник информационных технологий, механики и оптики, 2014
The paper deals with an interactive method of automatic verification for parallel automata-based programs. The hierarchical state machines can be implemented in different threads and can interact with each other.
M. A. Lukin
doaj