This page is not created by, affiliated with, or supported by Slack Technologies, Inc.


Alcuni dei talks che ho guardato in questi giorni di festa… (riflettono un paio di temi, logic programming e formal verification) The Reemergence of Datalog CLP(SMT) – Nada Amin - YouTube Are we there yet? Twenty years of formal verification in critical software - Smart Contracts and Formal Verification with Z3 with Pact - OCaml, REborn: fullstack applications with ReasonML – António Monteiro - Analyzing Programs with Z3 - -