Verification, Model Checking, and Abstract Interpretation

DOI10.1007/b94790zbMath1202.68249OpenAlexW3146639584MaRDI QIDQ5901904

Sylvain Peyronnet, Frederic Magniette, Richard Lassaigne, Thomas Hérault

Publication date: 15 May 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b94790

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (19)

Accelerating SpMV multiplication in probabilistic model checkers using GPUs ⋮ Deep Statistical Model Checking ⋮ Statistical Model Checking for Networks of Priced Timed Automata ⋮ Probabilistic model checking of BPMN processes at runtime ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ Learning deterministic probabilistic automata from a model checking perspective ⋮ Neural flocking: MPC-based supervised learning of flocking controllers ⋮ ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans ⋮ 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 ⋮ DNA walker circuits: computational potential, design, and verification ⋮ Evaluating Complex MAC Protocols for Sensor Networks with APMC ⋮ ARMed SPHINCS ⋮ Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata ⋮ APMC ⋮ Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments ⋮ Mu-calculus path checking ⋮ Monte Carlo Methods for Process Algebra

Uses Software

• PRISM

This page was built for publication: Verification, Model Checking, and Abstract Interpretation