Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Samuel Ueltschi"'
Publikováno v:
Static Analysis ISBN: 9783319997247
SAS
SAS
CTL is a temporal logic commonly used to express program properties. Most of the existing approaches for proving CTL properties only support certain classes of programs, limit their scope to a subset of CTL, or do not directly support certain existen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ea2338e235a240fae93c5c99216dc4ad
https://doi.org/10.1007/978-3-319-99725-4_24
https://doi.org/10.1007/978-3-319-99725-4_24
