Cover Image

Formal Methods for Distributed System Development

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Authors:	AJAMI, Khalil, Haddad, Serge, Ilié, Jean-Michel
Format:	Recurso digital
Language:	English
Published:	Zenodo 2000
Subjects:	Verification and validation Temporal logic model-checking symmetries partial symmetries Biichi automata well-formed Petri nets.
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Methodology for the Synthesis of Automata in the Planning of Movements for Autonomous Systems with Multiple Agents
by: Jorge Luis Martínez-Valencia
Published: (2021)

Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model
by: Hanifa Boucheneb
Published: (2006)

Automatic Verification of Critical Industrial Process with Automata
by: Luis E. Mendoza Morales
Published: (2016)

Meson Loops and the gDD Coupling
by: F.O. Durães
Published: (2006)

Exploiting symmetries in tree-based combinatorial calculation of explicit linear MPC solutions
by: Mitze, Ruth, et al.
Published: (2023)

Physics of Consciousness: Symmetry, Renormalization, and Thermodynamic Arrow in Artificial Minds
by: TECS-L Project
Published: (2026)

Reversible-equivariant systems and matricial equations
by: MARCO A. TEIXEIRA
Published: (2011)

The Coherence Computing Codex A Technical Treatise on Coheroputation, Coheroputers and Universal Coherence Dynamics
by: Lilien, Philip
Published: (2026)

VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS
by: CARLOS ARTURO PARRA ORTEGA
Published: (2012)

Different Symmetry Realizations in Relativistic Coupled Bose Systems at Finite Temperature and Densities
by: R. L. S. Farias
Published: (2008)

Anomalies in quantum field theories
by: Nicola Fabiano
Published: (2023)

LIE GROUP SYMMETRIES’ COMPLETE CLASSIFICATION FOR A GENERALIZED CHAZY EQUATION AND ITS EQUIVALENCE GROUP
by: ÓSCAR M. LONDOÑO DUQUE
Published: (2022)

Hidden Symmetries in the Two-Dimensional Isotropic Antiferromagnet
by: S. A. Leonel
Published: (2014)

SIMULACIÓN EN TIEMPO REAL DE PROCESOS DISCRETOS CONCURRENTES
by: SIGILFREDO ARREGOCÈS
Published: (2004)

Spectral Selection Rule I: A Unified Framework from Anyon Models to Cosmological Observables
by: zhou, changzheng, et al.
Published: (2026)

Chiral symmetry restoration and pion properties in a q-deformed NJL model
by: V. S. Timóteo
Published: (2006)

Symmetries of the Super Heat Kernel N = 1 and SKdV Hierarchy
by: S. Andrea
Published: (2006)

Automated Deduction – CADE 29
Published: (2023)

Generative Ontology and Irreducibilities
by: Lilien, Philip
Published: (2026)

Eternal Universe Theory (EUT) - Multiverse Mirror Cosmology E(u 1 b )=−E(u 2 b ) (per Bubble b)
by: Frank, Karol
Published: (2025)

Computer Aided Verification
Published: (2023)

Spacetime Symmetry Breaking and the Cosmological Constant: A Degrees-of-Freedom Framework
by: cook, Caleb
Published: (2026)

Spacetime Symmetry Breaking and the Cosmological Constant: A Degrees-of-Freedom Framework
by: cook, Caleb
Published: (2026)

Spacetime Symmetry Breaking and the Cosmological Constant: A Degrees-of-Freedom Framework
by: cook, Caleb
Published: (2026)

Symplectic symmetry and the ab initio no-core shell model
by: J.P. Draayer
Published: (2007)

Conformal Elastodynamics in 2D Dilational Metamaterials
by: Singh, Neel, et al.
Published: (2026)

Lie algebra classification for the Chazy equation and further topics related with this algebra
by: Danilo Andrés García Hernández
Published: (2021)

Logical derivation search with assumption traceability
by: Adomas Birštunas
Published: (2021)

Computer Aided Verification
Published: (2023)

Branching Path Planning with Modal Logics
by: Everardo Bárcenas
Published: (2017)

Reverse Resonance ID — self-verifying symmetric identifier
by: ANDREI LEONOV, ANDYSAY
Published: (2025)

Nucleation in the Chiral Transition with an Inhomogeneous Background
by: Bruno G. Taketani
Published: (2007)

Can Probabilistic Coherence be a Measure of Understanding?
by: Victor Gijsbers
Published: (2015)

Calculation of phase and groupangles, slowness surfaces and ray tracing in transversely isotropic media
by: Karen Pachano Peláez
Published: (2006)

Symmetries of the hamiltonian operator and constants of motion
by: G.F. Torres del Castillo
Published: (2016)

Geometric Modeling and Virtual Reconstruction of Agustín de Betancourt's Double-Acting Steam Engine
by: Sofia Elena Villarreal-Vega, et al.
Published: (2023)

Flavor asymmetry of the nucleon
by: R. Bijker
Published: (2008)

Addendum to "Forced vs Relaxed Cubic Geometry"https://doi.org/10.5281/zenodo.17789327
by: Stanford, Paul Vincent Raymond
Published: (2025)

Computer Aided Verification
Published: (2023)

A Framework for Deriving Relativistic Structure from a Boundaryless Domain: With the Endless Symmetry Principle as a Structural Constraint on Physical Law
by: Andreas, Schultheis
Published: (2025)