Good question!
There is an entire field of "formal" verification with associated
conferences such as FMCAD, CAV, etc which has a long history, and the
meaning has indeed changed over time. It may well mean different things to
different people.
In general, to me, "formal" comes from "formal logic
On Thu, Sep 27, 2018 at 11:38 AM Scott Cotton wrote:
> I've just created a github organisation for formal tools in and for Go.
Please expand on what a 'formal tool' is. I have no idea.
--
-j
--
You received this message because you are subscribed to the Google Groups
"golang-nuts" group.
T
Hi all,
I've just created a github organisation for formal tools in and for Go.
There's not much there now, but it is open to all to list and house related
repos.
Membership is open upon request (for now just send an email to
w...@iri-labs.com), we ask
only that you be an open (not secret) gi
