1 comment

[ 2.5 ms ] story [ 125 ms ] thread
With specifications in First Order Logic (TLA+ syntax)