Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Zeidler, Lisza"'
Publikováno v:
In Procedia Engineering 2016 138:248-257
SAT/SMT-solvers and model checkers automate formal verification of sequential programs. Formal reasoning about scalable concurrent programs is still manual and requires expert knowledge. But scalability is a fundamental requirement of current and fut
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b19ba06c51c61c74de35762271f45c3b
SAT/SMT-solvers and model checkers automate formal verification of sequential programs. Formal reasoning about scalable concurrent programs is still manual and requires expert knowledge. But scalability is a fundamental requirement of current and fut
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a889a9c3cc1e1ce4ea9e08f13a662056
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.