Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

3 Publications


2023 | Conference Paper | IST-REx-ID: 14718 | OA
Pastva S, Henzinger TA. Binary decision diagrams on modern hardware. In: Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. TU Vienna Academic Press; 2023:122-131. doi:10.34727/2023/isbn.978-3-85448-060-0_20
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10688 | OA
Kragl B, Qadeer S. The Civl verifier. In: Ruzica P, Whalen MW, eds. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design. Vol 2. TU Wien Academic Press; 2021:143–152. doi:10.34727/2021/isbn.978-3-85448-046-4_23
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 9040 | OA
Alamdari PA, Avni G, Henzinger TA, Lukina A. Formal methods with a touch of magic. In: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. TU Wien Academic Press; 2020:138-147. doi:10.34727/2020/isbn.978-3-85448-042-6_21
[Published Version] View | Files available | DOI
 

Filters and Search Terms

isbn%3D9783030532871

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed