Improving Saturation-based Bounded Model Checking

DOI10.14232/ACTACYB.22.3.2016.2zbMath1363.68094OpenAlexW2346392451MaRDI QIDQ2820781

András Vörösy, Dániel Darvasy, Tamás Bartha

Publication date: 9 September 2016

Published in: Acta Cybernetica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14232/actacyb.22.3.2016.2

zbMATH Keywords

model checkingasynchronous systemssymbolic model checkingsaturationbounded model checkingCTLcompacting saturation

Mathematics Subject Classification ID

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

This page was built for publication: Improving Saturation-based Bounded Model Checking