News from Formal Verification and Security Group at University of Lugano
| 2008-07-04 | The "Loop Summarization using Abstract Transformers" paper was accepted for ATVA2008. |
| 2008-06-30 | We organized "USI-CMU Summer School on Dependable Computer Systems". |
| 2008-05-27 | Edgar left for a 3 month internship at Microsoft research. |
The Lab is funded by Swiss National Science Foundation, Foundation Tasso, Hasler Foundation, EU-COST initiative and EU FP7/Pincette.
