A formal specification of the desired software behaviour of the Princess Marijke lock complex
Fuente:
arXiv
Salvato in:
| Autori principali: | Groote, Jan Friso, Volk, Matthias |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Formal Modelling and Analysis of Slot Machines
di: Groote, Jan Friso, et al.
Pubblicazione: (2024)
di: Groote, Jan Friso, et al.
Pubblicazione: (2024)
Tutorial: Designing Distributed Software in mCRL2
di: Groote, Jan Friso, et al.
Pubblicazione: (2021)
di: Groote, Jan Friso, et al.
Pubblicazione: (2021)
A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier
di: Beers, Adrian, et al.
Pubblicazione: (2025)
di: Beers, Adrian, et al.
Pubblicazione: (2025)
A Quadratic Lower Bound for Simulation
di: Groote, Jan Friso, et al.
Pubblicazione: (2024)
di: Groote, Jan Friso, et al.
Pubblicazione: (2024)
Lowerbounds for Bisimulation by Partition Refinement
di: Groote, Jan Friso, et al.
Pubblicazione: (2022)
di: Groote, Jan Friso, et al.
Pubblicazione: (2022)
A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
di: Jansen, David N., et al.
Pubblicazione: (2019)
di: Jansen, David N., et al.
Pubblicazione: (2019)
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
di: van Glabbeek, Rob, et al.
Pubblicazione: (2025)
di: van Glabbeek, Rob, et al.
Pubblicazione: (2025)
Fair Mutual Exclusion for N Processes (extended version)
di: Hafidi, Yousra, et al.
Pubblicazione: (2021)
di: Hafidi, Yousra, et al.
Pubblicazione: (2021)
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
di: Graebener, Josefine B., et al.
Pubblicazione: (2025)
di: Graebener, Josefine B., et al.
Pubblicazione: (2025)
Quantitative Supermartingale Certificates
di: Abate, Alessandro, et al.
Pubblicazione: (2025)
di: Abate, Alessandro, et al.
Pubblicazione: (2025)
ARCH-COMP25 Category Report: Stochastic Models
di: Abate, Alessandro, et al.
Pubblicazione: (2025)
di: Abate, Alessandro, et al.
Pubblicazione: (2025)
Solvability of Approximate Reach-Avoid Games
di: Gleirscher, Mario
Pubblicazione: (2025)
di: Gleirscher, Mario
Pubblicazione: (2025)
Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
di: Hsieh, Chiao, et al.
Pubblicazione: (2025)
di: Hsieh, Chiao, et al.
Pubblicazione: (2025)
Supermartingale Certificates for Quantitative Omega-regular Verification and Control
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)
Control Closure Certificates
di: Murali, Vishnu, et al.
Pubblicazione: (2025)
di: Murali, Vishnu, et al.
Pubblicazione: (2025)
Reachability Analysis Using Constrained Polynomial Logical Zonotopes
di: Hafez, Ahmad, et al.
Pubblicazione: (2024)
di: Hafez, Ahmad, et al.
Pubblicazione: (2024)
Context-Aided Variable Elimination for Requirement Engineering
di: Incer, Inigo, et al.
Pubblicazione: (2023)
di: Incer, Inigo, et al.
Pubblicazione: (2023)
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
di: Hadjiloizou, Loizos, et al.
Pubblicazione: (2024)
di: Hadjiloizou, Loizos, et al.
Pubblicazione: (2024)
Learning Robust Policies for Uncertain Parametric Markov Decision Processes
di: Rickard, Luke, et al.
Pubblicazione: (2023)
di: Rickard, Luke, et al.
Pubblicazione: (2023)
CESAR: Control Envelope Synthesis via Angelic Refinements
di: Kabra, Aditi, et al.
Pubblicazione: (2023)
di: Kabra, Aditi, et al.
Pubblicazione: (2023)
Stochastic Omega-Regular Verification and Control with Supermartingales
di: Abate, Alessandro, et al.
Pubblicazione: (2024)
di: Abate, Alessandro, et al.
Pubblicazione: (2024)
Closure Certificates
di: Murali, Vishnu, et al.
Pubblicazione: (2023)
di: Murali, Vishnu, et al.
Pubblicazione: (2023)
Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
di: Schön, Oliver, et al.
Pubblicazione: (2023)
di: Schön, Oliver, et al.
Pubblicazione: (2023)
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
di: Incer, Inigo, et al.
Pubblicazione: (2023)
di: Incer, Inigo, et al.
Pubblicazione: (2023)
Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation
di: Tang, Valdemar, et al.
Pubblicazione: (2024)
di: Tang, Valdemar, et al.
Pubblicazione: (2024)
Strategy Templates for Almost-Sure and Positive Winning of Stochastic Parity Games towards Permissive and Resilient Control
di: Phalakarn, Kittiphon, et al.
Pubblicazione: (2024)
di: Phalakarn, Kittiphon, et al.
Pubblicazione: (2024)
Efficient Discovery of Actual Causality using Abstraction-Refinement
di: Rafieioskouei, Arshia, et al.
Pubblicazione: (2024)
di: Rafieioskouei, Arshia, et al.
Pubblicazione: (2024)
Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
di: Incer, Inigo
Pubblicazione: (2024)
di: Incer, Inigo
Pubblicazione: (2024)
Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
di: Gu, Chao, et al.
Pubblicazione: (2020)
di: Gu, Chao, et al.
Pubblicazione: (2020)
IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
di: Mathiesen, Frederik Baymler, et al.
Pubblicazione: (2024)
di: Mathiesen, Frederik Baymler, et al.
Pubblicazione: (2024)
HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
di: Murali, Vishnu, et al.
Pubblicazione: (2026)
di: Murali, Vishnu, et al.
Pubblicazione: (2026)
Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
di: Engelaar, Maico H. W., et al.
Pubblicazione: (2024)
di: Engelaar, Maico H. W., et al.
Pubblicazione: (2024)
Inferentialist Resource Semantics
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)
Sound Value Iteration for Simple Stochastic Games
di: Azeem, Muqsit, et al.
Pubblicazione: (2024)
di: Azeem, Muqsit, et al.
Pubblicazione: (2024)
Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
di: Monir, Negar, et al.
Pubblicazione: (2025)
di: Monir, Negar, et al.
Pubblicazione: (2025)
Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
di: Badings, Thom, et al.
Pubblicazione: (2025)
di: Badings, Thom, et al.
Pubblicazione: (2025)
Barrier Certificates for Uncertain Temporal Specifications
di: Mamduhi, Mohammad H., et al.
Pubblicazione: (2026)
di: Mamduhi, Mohammad H., et al.
Pubblicazione: (2026)
Towards Automatic Linearization via SMT Solving
di: Cao, Jian, et al.
Pubblicazione: (2024)
di: Cao, Jian, et al.
Pubblicazione: (2024)
Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
di: Kochdumper, Niklas, et al.
Pubblicazione: (2023)
di: Kochdumper, Niklas, et al.
Pubblicazione: (2023)
Learning Algorithms for Verification of Markov Decision Processes
di: Brázdil, Tomáš, et al.
Pubblicazione: (2024)
di: Brázdil, Tomáš, et al.
Pubblicazione: (2024)
Documenti analoghi
-
Formal Modelling and Analysis of Slot Machines
di: Groote, Jan Friso, et al.
Pubblicazione: (2024) -
Tutorial: Designing Distributed Software in mCRL2
di: Groote, Jan Friso, et al.
Pubblicazione: (2021) -
A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier
di: Beers, Adrian, et al.
Pubblicazione: (2025) -
A Quadratic Lower Bound for Simulation
di: Groote, Jan Friso, et al.
Pubblicazione: (2024) -
Lowerbounds for Bisimulation by Partition Refinement
di: Groote, Jan Friso, et al.
Pubblicazione: (2022)