Our Lab is a part of the Informatics Faculty at the University of Lugano. The Lab was established in 2006 when Prof. Sharygina received a career award from the Tasso Foundation. The Lab projects focus on automated formal verification with a particular interest in software/hardware model checking, information security, static analysis, abstract interpretation, and decision procedures. We create both theoretical frameworks and practical tools to enable sound and scalable verification of industrial-size systems.

For questions about the Lab projects contact natasha.sharygina@usi.ch.

We have NEW open PhD and Postdoc positions. For more information, contact natasha.sharygina@usi.ch.

Our Lab is a part of the Informatics Faculty at the University of Lugano. The Lab was established in 2006 when Prof. Sharygina received a career award from the Tasso Foundation. The Lab projects focus on automated formal verification with a particular interest in software/hardware model checking, information security, static analysis, abstract interpretation, and decision procedures. We create both theoretical frameworks and practical tools to enable sound and scalable verification of industrial-size systems.

For questions about the Lab projects contact natasha.sharygina@usi.ch.

We have NEW open PhD and Postdoc positions. For more information, contact natasha.sharygina@usi.ch.

Our Lab is a part of the Informatics Faculty at the University of Lugano. The Lab was established in 2006 when Prof. Sharygina received a career award from the Tasso Foundation. The Lab projects focus on automated formal verification with a particular interest in software/hardware model checking, information security, static analysis, abstract interpretation, and decision procedures. We create both theoretical frameworks and practical tools to enable sound and scalable verification of industrial-size systems.

For questions about the Lab projects contact natasha.sharygina@usi.ch.

We have NEW open PhD and Postdoc positions. For more information, contact natasha.sharygina@usi.ch.

Our Lab is a part of the Informatics Faculty at the University of Lugano. The Lab was established in 2006 when Prof. Sharygina received a career award from the Tasso Foundation. The Lab projects focus on automated formal verification with a particular interest in software/hardware model checking, information security, static analysis, abstract interpretation, and decision procedures. We create both theoretical frameworks and practical tools to enable sound and scalable verification of industrial-size systems.

For questions about the Lab projects contact natasha.sharygina@usi.ch.

We have NEW open PhD and Postdoc positions. For more information, contact natasha.sharygina@usi.ch.

Our Lab is a part of the Informatics Faculty at the University of Lugano. The Lab was established in 2006 when Prof. Sharygina received a career award from the Tasso Foundation. The Lab projects focus on automated formal verification with a particular interest in software/hardware model checking, information security, static analysis, abstract interpretation, and decision procedures. We create both theoretical frameworks and practical tools to enable sound and scalable verification of industrial-size systems.

For questions about the Lab projects contact natasha.sharygina@usi.ch.

We have NEW open PhD and Postdoc positions. For more information, contact natasha.sharygina@usi.ch.

Our Lab is a part of the Informatics Faculty at the University of Lugano. The Lab was established in 2006 when Prof. Sharygina received a career award from the Tasso Foundation. The Lab projects focus on automated formal verification with a particular interest in software/hardware model checking, information security, static analysis, abstract interpretation, and decision procedures. We create both theoretical frameworks and practical tools to enable sound and scalable verification of industrial-size systems.

For questions about the Lab projects contact natasha.sharygina@usi.ch.

We have NEW open PhD and Postdoc positions. For more information, contact natasha.sharygina@usi.ch.

Formal Verification and Security Lab

Our Lab is a part of the Informatics Faculty at the University of Lugano. The Lab was established in 2006 when Prof. Sharygina received a career award from the Tasso Foundation. The Lab projects focus on automated formal verification with a particular interest in software/hardware model checking, information security, static analysis, abstract interpretation, and decision procedures. We create both theoretical frameworks and practical tools to enable sound and scalable verification of industrial-size systems.

For questions about the Lab projects contact natasha.sharygina@usi.ch.

We have NEW open PhD and Postdoc positions. For more information, contact natasha.sharygina@usi.ch.

Latest news

2010-01-15	New tool for termination analysis of C programs is available
2009-11-02	New paper published: A Scalable Decision Procedure for Fixed-Width Bit-Vectors at ICCAD 2009
2009-08-11	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
2009-08-10	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
2009-08-01	We have an open position for a PhD student in the project "Automated Invariant Generation for Efficient Security Checks".

Pages