Automated Technology for Verification and Analysis (ATVA)

Event name
Automated Technology for Verification and Analysis (ATVA)
 
Event type
Event for scientific audience
 
Start date
03-10-2012
End date
06-10-2012
 
Location
Thiruvananthapuram
Country
India
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gupta, Ashutosh ; Kovács, Laura ; Kragl, Bernhard ; Voronkov, Andrei Extensional Crisis and Proving IdentityKonferenzbeitrag Inproceedings 2014
2Donzé, Alexandre ; Maler, Oded ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu ; Smolka, Scott On Temporal Logic and Signal ProcessingKonferenzbeitrag Inproceedings 2012
3Schwartz-Narbonne, Daniel ; Weissenbacher, Georg ; Malik, Sharad Parallel Assertions for Architectures with Weak Memory ModelsKonferenzbeitrag Inproceedings 2012
4Cadek, Pavel ; Strejcek, Jan ; Trtík, Marek Tighter Loop Bound AnalysisKonferenzbeitrag Inproceedings 2016