Zobrazeno 1 - 2
of 2
pro vyhledávání: '"temporal formal verification"'
Autor:
Giacomo Bergami
Publikováno v:
Information, Vol 15, Iss 1, p 34 (2024)
Recent findings demonstrate how database technology enhances the computation of formal verification tasks expressible in linear time logic for finite traces (LTLf). Human-readable declarative languages also help the common practitioner to express tem
Externí odkaz:
https://doaj.org/article/17119026e09e49d0a64fe016579eee94
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.