Temporal Specifications with Accumulative Values
From MaRDI portal
Publication:2946736
DOI10.1145/2629686zbMath1354.68169MaRDI QIDQ2946736
Orna Kupferman, Krishnendu Chatterjee, Thomas A. Henzinger, Udi Boker
Publication date: 17 September 2015
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2629686
68Q60: Specification and verification (program logics, model checking, etc.)
03B25: Decidability of theories and sets of sentences
03B44: Temporal logic