Memory-Efficient Tactics for Randomized LTL Model Checking

Kim Larsen*, Doron Peled, Sean Sedwards

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2 Citationer (Scopus)
OriginalsprogEngelsk
TitelVerified Software : Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Revised Selected Papers
RedaktørerThomas Wies, Andrei Paskevich
Antal sider18
ForlagPhysica-Verlag
Publikationsdato2017
Sider152-169
ISBN (Trykt)9783319723075
ISBN (Elektronisk)978-3-319-72308-2
DOI
StatusUdgivet - 2017
Begivenhed9th International Working Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017 - Heidelberg, Tyskland
Varighed: 22 jul. 201723 jul. 2017

Konference

Konference9th International Working Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017
LandTyskland
ByHeidelberg
Periode22/07/201723/07/2017
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind10712 LNCS
ISSN0302-9743

Fingeraftryk Dyk ned i forskningsemnerne om 'Memory-Efficient Tactics for Randomized LTL Model Checking'. Sammen danner de et unikt fingeraftryk.

Citationsformater