Tools and Algorithms for the Construction and Analysis of Systems
From MaRDI portal
Publication:5703764
DOI10.1007/b107194zbMath1087.68590OpenAlexW2497867240MaRDI QIDQ5703764
Publication date: 10 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b107194
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (20)
A quantitative study of fork-join processes with non-deterministic choice: application to the statistical exploration of the state-space ⋮ Statistical Model Checking for Variability-Intensive Systems ⋮ On minimising the maximum expected verification time ⋮ The Combinatorics of Barrier Synchronization ⋮ A quantitative study of pure parallel processes ⋮ Beyond series-parallel concurrent systems: the case of arch processes ⋮ Bayesian statistical model checking with application to Stateflow/Simulink verification ⋮ Probabilistic verification and approximation ⋮ Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement ⋮ Unnamed Item ⋮ Evaluating Complex MAC Protocols for Sensor Networks with APMC ⋮ Meanings of Model Checking ⋮ Faster statistical model checking for unbounded temporal properties ⋮ Formal Verification Based on Guided Random Walks ⋮ Statistical probabilistic model checking with a focus on time-bounded properties ⋮ Model Checking-Based Genetic Programming with an Application to Mutual Exclusion ⋮ Unnamed Item ⋮ Statistical model checking for variability-intensive systems: applications to bug detection and minimization ⋮ Monte Carlo Methods for Process Algebra ⋮ A maximal entropy stochastic process for a timed automaton
Uses Software
This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems
