Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Alexander, Strakh"'
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.
Publikováno v:
Perspectives of Systems Informatics ISBN: 9783642297083
Ershov Memorial Conference
Ershov Memorial Conference
The paper presents a twofold verification system that aimes to be an open platform for experimentation with various verification techniques as well as an industrial-ready domain specific verification tool for Linux device drivers. We describe the arc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::32542c4895d56c9496904b999404ce17
https://doi.org/10.1007/978-3-642-29709-0_17
https://doi.org/10.1007/978-3-642-29709-0_17
Autor:
Edmund Clarke, Andrei Voronkov
This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full