Hard to say as nobody has pushed it to the full extent. Giving up complexity gets better results for verification. So, you use a simple subset of the powerful language. That subset might still be more powerful than many languages but a bit less powerful and complex than the original.<p>Complexity, ease of modelling, and state explosion are the real issues in verification.