Redirecting to
https://routerjockey.com/forward-networks-a-forward-approach-to-formal-verification/