Model checking is a powerful tool for verifying the correctness of hardware and software systems.
The world has nothing to fear from military ambition in our Government.