Verification, Model Checking, and Abstract Interpretation

DOI10.1007/11609773MaRDI QIDQ5898615zbMATH OpenOpenAlexFDO

Authors Håkan L. S. Younes

Publication date 12 February 2007

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

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

Mathematics Subject Classification ID

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

Recommendations

• Statistical probabilistic model checking with a focus on time-bounded properties
• Model checking probabilistic systems
• Verification, Model Checking, and Abstract Interpretation
• Efficient probabilistic model checking of systems with ranged probabilities
• The demand for reliability in probabilistic verification

Cited in

(8)

• Statistical model checking using perfect simulation
• Probabilistic verification and approximation
• Statistical probabilistic model checking with a focus on time-bounded properties
• Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
• Statistical verification of probabilistic properties with unbounded until
• On simulation-based probabilistic model checking of mixed-analog circuits
• Correct probabilistic model checking with floating-point arithmetic
• The demand for reliability in probabilistic verification

Describes a project that uses

Uses Software

• APMC

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5898615)