Automatic verification, SMT, floating-point, SAT, abstract interpretation, maffs, crypto means cryptography, security, academic, etc.

Banner by @forestfawnette

ID: 909826320519004160

calendar_today18-09-2017 17:07:53