Model Checking Merged Program Traces
From MaRDI portal
Publication:5179356
DOI10.1016/j.entcs.2009.05.047zbMath1347.68244MaRDI QIDQ5179356
Ana C. V. de Melo, Paulo Salem da Silva
Publication date: 19 March 2015
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2009.05.047
68Q60: Specification and verification (program logics, model checking, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software
Cites Work