Automated Technology for Verification and Analysis (ATVA)
Event name
Automated Technology for Verification and Analysis (ATVA)
Start date
03-10-2012
End date
06-10-2012
Location
Thiruvananthapuram, India
Country
Event format Veranstaltungsformat
On Site
Results 1-4 of 4 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gupta, Ashutosh ; Kovács, Laura ; Kragl, Bernhard ; Voronkov, Andrei ; Cassez, Franck ; Raskin, Jean-Francois | Extensional Crisis and Proving Identity | Konferenzbeitrag Inproceedings  | 2014 | |
| 2 | Donzé, Alexandre ; Maler, Oded ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu ; Smolka, Scott | On Temporal Logic and Signal Processing | Konferenzbeitrag Inproceedings | 2012 | |
| 3 | Schwartz-Narbonne, Daniel ; Weissenbacher, Georg ; Malik, Sharad | Parallel Assertions for Architectures with Weak Memory Models | Konferenzbeitrag Inproceedings | 2012 | |
| 4 | Cadek, Pavel ; Strejcek, Jan ; Trtík, Marek | Tighter Loop Bound Analysis | Konferenzbeitrag Inproceedings | 2016 |