News from Formal Verification and Security Group at University of Lugano

The OpenSMT solver at TACAS'10

mcWebAdmin — Thu, 11 Feb 2010 01:40:30 +0100

New paper titled "The OpenSMT Solver" will appear at TACAS 2010.

mcWebAdmin — Thu, 11 Feb 2010 01:46:15 +0100

New tool for termination analysis of C programs is available.

Natasha — Mon, 30 Nov 2009 13:50:07 +0100

Roberto — Wed, 12 Aug 2009 13:13:17 +0200

The recent results on OpenSMT (plus an OpenSMT tool description) were presented at SMT'09. More information can found at ie.technion.ac.il/SMT09.

mcWebAdmin — Mon, 10 Aug 2009 18:56:05 +0200

OpenSMT version 0.2 was released after participation in SMTCOMP'09. It was the first among open-source solvers in UF, RDL, IDL and LRA categories.

mcWebAdmin — Mon, 17 Aug 2009 19:25:34 +0200

We have an open position for a PhD student in the project "Automated Invariant Generation for Efficient Security Checks".

mcWebAdmin — Mon, 10 Aug 2009 19:26:27 +0200

Aliaksei — Sat, 22 Aug 2009 14:46:13 +0200

Our Lab organizes FMCAD 2010 that will take place in Lugano on October 20-23, 2010.

mcWebAdmin — Tue, 11 Aug 2009 16:15:56 +0200

Our project on "Automated Invariant Generation for Efficient Security Checks" was approved for 36 month funding by Hasler Foundation.

mcWebAdmin — Mon, 10 Aug 2009 18:18:49 +0200

mcWebAdmin — Mon, 10 Aug 2009 19:03:03 +0200

mcWebAdmin — Tue, 11 Aug 2009 16:07:09 +0200

Our Lab participates in the EU COST initiative (48 months) on "Rich-Model Toolkit: An Infrastructure for Reliable Computer" that was just approved.