Open Source
SMT Boosters Recognized at Verification Event
HVC 2010 Award announced for five researchers who have promulgated Satisfiability Modulo TheoriesRelated Reading
More Insights
INFO-LINK
To upload an avatar photo, first complete your Disqus profile. | View the list of supported HTML tags you can use to style comments. | Please read our commenting policy. | |