Computer Aided Verification

DOI10.1007/b138445zbMath1081.68641OpenAlexW2507913385MaRDI QIDQ5716564

Håkan L. S. Younes

Publication date: 10 January 2006

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

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

Mathematics Subject Classification ID

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

Related Items (5)

Probabilistic black-box reachability checking (extended version) ⋮ Statistical probabilistic model checking with a focus on time-bounded properties ⋮ On simulation-based probabilistic model checking of mixed-analog circuits ⋮ Automated and distributed statistical analysis of economic agent-based models ⋮ Monte Carlo Methods for Process Algebra

This page was built for publication: Computer Aided Verification