Act is a formal specification language for constructing exhaustive, mathematically rigorous...