Category: General

General Loading...

Proving What’s Possible

As a formal methods consultant I have to mathematically express properties of systems. I generally do this with two “temporal operators”: A(x) means that x is...

Read more