Model checking of concurrent software systems via heuristic-guided SAT solving

DOI10.1007/978-3-319-68972-2_16zbMath1498.68174OpenAlexW2763389838MaRDI QIDQ2093157

Stefan Gruner, Nils Timm, Prince Sibanda

Publication date: 4 November 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-68972-2_16

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving

This page was built for publication: Model checking of concurrent software systems via heuristic-guided SAT solving