PLEXIL5 is a Formal Verification Environment for PLEXIL - View it on GitHub