2nd International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2013)
Event name
2nd International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2013)
Event type
Event for scientific audience
Start date
23-10-2013
End date
25-10-2013
Location
Peking
Country
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob | Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds using Symbolic Execution | Präsentation Presentation | 2013 |