Opaal: A Lattice Model Checker

Andreas Engelbredt Dalsgaard, Rene Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jiri Srba

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

9 Citationer (Scopus)
424 Downloads (Pure)
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind6617
Sider (fra-til)487-493
Antal sider5
ISSN0302-9743
DOI
StatusUdgivet - 2011
Begivenhed3rd International Symposium on NASA Formal Methods - Pasadena, CA, USA
Varighed: 18 apr. 201120 apr. 2011
Konferencens nummer: 3

Konference

Konference3rd International Symposium on NASA Formal Methods
Nummer3
LandUSA
ByPasadena, CA
Periode18/04/201120/04/2011

Bibliografisk note

Proceeding of the 3rd International Symposium on NASA Formal Methods. (eds.) Bobaru, Mihaela, Havelund, Klaus, Holmann, Gerard J. & Joshi, Rajeev.

Citationsformater