International Symposium on Leveraging Applications of Formal Methods (ISoLA)
Event name
International Symposium on Leveraging Applications of Formal Methods (ISoLA)
Start date
15-10-2012
End date
18-10-2012
Location
Heraklion, Kreta, Griechenland
Country
Event format Veranstaltungsformat
On Site
Results 1-3 of 3 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Razavi, Niloofar ; Farzan, Azadeh ; Holzer, Andreas | Bounded-Interference Sequentialization for Testing Concurrent Programs | Konferenzbeitrag Inproceedings  | 2012 | |
| 2 | Konnov, Igor ; Widder, Josef | ByMC: Byzantine Model Checker | Konferenzbeitrag Inproceedings | 2018 | |
| 3 | Schneidewind, Clara ; Scherer, Markus ; Maffei, Matteo | The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts | Konferenzbeitrag Inproceedings | 2020 |