Linear temporal logic symbolic model checking
From MaRDI portal
Publication:465680
DOI10.1016/j.cosrev.2010.06.002zbMath1298.68176MaRDI QIDQ465680
Publication date: 24 October 2014
Published in: Computer Science Review (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.cosrev.2010.06.002
68Q60: Specification and verification (program logics, model checking, etc.)
68-02: Research exposition (monographs, survey articles) pertaining to computer science
03B44: Temporal logic
Uses Software