PLEXIL-V

Python ★ 20 updated 2mo ago

PLEXIL5 is a Formal Verification Environment for PLEXIL

No plain-English explanation yet — one is being written right now. Check back in a minute.