scientific article; zbMATH DE number 5790239
From MaRDI portal
Publication:4929342
zbMath1217.68140MaRDI QIDQ4929342
Louis-Marie Traonouez, Didier Lime, Olivier H. Roux
Publication date: 22 September 2010
Full work available at URL: http://www.jucs.org/jucs_15_17/parametric_model_checking_of
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (13)
\textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability ⋮ Formalising concurrent UML state machines using coloured Petri nets ⋮ Shrinking of time Petri nets ⋮ Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets ⋮ Parameter synthesis for hierarchical concurrent real-time systems ⋮ Symbolic unfolding of parametric stopwatch Petri nets ⋮ Unnamed Item ⋮ Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving ⋮ On-the-fly \(TCTL\) model checking for time Petri nets ⋮ A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets ⋮ Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques ⋮ Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints* ⋮ Cost Problems for Parametric Time Petri Nets*
Uses Software
This page was built for publication:
