Symboleo-CC: a Symboleo legal contract specification verification tool built around the nuXmv model checking tool
This content has been updated on 28 February 2023 at 18 h 31 min.
Symboleo-CC: a Symboleo legal contract specification verification tool built around the nuXmv model checking tool
This content has been updated on 28 February 2023 at 18 h 31 min.