Model Checking – My 27-Year Quest to Overcome the State Explosion Problem

DOI10.1007/978-3-540-89439-1_13zbMath1182.68116OpenAlexW1552620091MaRDI QIDQ5505552

Edmund M. Clarke

Publication date: 27 January 2009

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-89439-1_13

Mathematics Subject Classification ID

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

This page was built for publication: Model Checking – My 27-Year Quest to Overcome the State Explosion Problem