Source : Free On-Line Dictionary of Computing

HOL-UNITY
     
        A verification tool for {UNITY}?  Version 2.1.
     
        E-mail: Flemming Andersen ?