P
properties
Python library handling the specification and compilation of properties that have to be verified on a system. Uses opengeode API.
Python library handling the specification and compilation of properties that have to be verified on a system. Uses opengeode API.