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

doi:10.1007/978-3-642-20398-5_37

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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

11 Citationer (Scopus)

560 Downloads (Pure)

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	6617
Sider (fra-til)	487-493
Antal sider	5
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-642-20398-5_37
Status	Udgivet - 2011
Begivenhed	3rd International Symposium on NASA Formal Methods - Pasadena, CA, USA Varighed: 18 apr. 2011 → 20 apr. 2011 Konferencens nummer: 3

Konference

Konference	3rd International Symposium on NASA Formal Methods
Nummer	3
Land/Område	USA
By	Pasadena, CA
Periode	18/04/2011 → 20/04/2011

Bibliografisk note

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

Adgang til dokumentet

10.1007/978-3-642-20398-5_37

opaal: A Lattice Model CheckerAccepteret manuskript, 490 KB

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{b4ae7e8ea7fb47f083402d816ac72748,

title = "Opaal: A Lattice Model Checker",

author = "Dalsgaard, {Andreas Engelbredt} and Hansen, {Rene Rydhof} and J{\o}rgensen, {Kenneth Yrke} and Larsen, {Kim Guldstrand} and Olesen, {Mads Chr.} and Petur Olsen and Jiri Srba",

note = "Proceeding of the 3rd International Symposium on NASA Formal Methods. (eds.) Bobaru, Mihaela, Havelund, Klaus, Holmann, Gerard J. & Joshi, Rajeev.; 3rd International Symposium on NASA Formal Methods ; Conference date: 18-04-2011 Through 20-04-2011",

year = "2011",

doi = "10.1007/978-3-642-20398-5_37",

language = "English",

volume = "6617",

pages = "487--493",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}

TY - GEN

T1 - Opaal

T2 - 3rd International Symposium on NASA Formal Methods

AU - Dalsgaard, Andreas Engelbredt

AU - Hansen, Rene Rydhof

AU - Jørgensen, Kenneth Yrke

AU - Larsen, Kim Guldstrand

AU - Olesen, Mads Chr.

AU - Olsen, Petur

AU - Srba, Jiri

N1 - Conference code: 3

PY - 2011

Y1 - 2011

U2 - 10.1007/978-3-642-20398-5_37

DO - 10.1007/978-3-642-20398-5_37

M3 - Conference article in Journal

SN - 0302-9743

VL - 6617

SP - 487

EP - 493

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

Y2 - 18 April 2011 through 20 April 2011

ER -