The most important thing in the programming language is the name. A language will not succeed without a good name. I have recently invented a very good name and now I am looking for a suitable language.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.