We have a new major release for Boolector,
as well as minor updates for PicoSAT and Quantor.
Mo Movahed, Fahim Rahim, Hans-Jörg Peter
Early Design Closure using Formal Methods
Thursday, March 13, Science Park 1, MT 226, 08:30 - 10:00
Helping to organize 8th conference on
Tests & Proofs (TAP'14).
Organizing HWMCC'14 CAV
Edition affiliated to CAV'14.
Part of FLoC Olympic Games
at Vienna Summer of Logic 2014.
Results presented in
second FLoC'14 Olympic Games ceremony.
Helping to organize 26th conference on
Computer Aided Verification
part of Vienna Summer of Logic.
Helping to organize QBF Gallery 2014.