Automated Technology for Verification and Analysis (ATVA)

View Statistics Email Alert RSS Feed

Description

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

Publications Publikationen

Results 1-4 of 4 (Search time: 0.001 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