Advertisement
HOL
HOL is a programming environment in which theorems can be proved and proof tools implemented....
programming environment automated proof system theorems solver HOL
HOL-TestGen
HOL-TestGen is a is a test case generator for specification based unit testing....
HOL-OCL
HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL)....
embedding shallow embedding Higher-order Logic proof environment HOL-OCL