Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations.
(xsd:string)
Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations.
(xsd:string)