An abstraction-refinement framework for trigger querying
From MaRDI portal
Publication:2248101
DOI10.1007/s10703-013-0200-xzbMath1291.68242MaRDI QIDQ2248101
Publication date: 30 June 2014
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-013-0200-x
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic