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

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

11 Citations (Scopus)

583 Downloads (Pure)

Original language	English
Book series	Lecture Notes in Computer Science
Volume	6617
Pages (from-to)	487-493
Number of pages	5
ISSN	0302-9743
DOIs	https://doi.org/10.1007/978-3-642-20398-5_37
Publication status	Published - 2011
Event	3rd International Symposium on NASA Formal Methods - Pasadena, CA, United States Duration: 18 Apr 2011 → 20 Apr 2011 Conference number: 3

Conference

Conference	3rd International Symposium on NASA Formal Methods
Number	3
Country/Territory	United States
City	Pasadena, CA
Period	18/04/2011 → 20/04/2011

Access to Document

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

opaal: A Lattice Model CheckerAccepted author manuscript, 490 KB

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@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 -