Cogent

July 24th, 2016

Cogent – a functional systems language that enables formal verification.