The endless transformation of technological innovation requires greater collaboration of
Information Communication and Technology (ICT) in various areas especially in public …

ROC! is a deterministic rewrite strategy language which includes the rewrite rules as basic
operators, and the deterministic choice and the repetition as high-level strategy operators. In …

CIRC is an automated theorem prover based on the circular coinduction principle. The tool
is used for the verification of programs, behavioral equivalence checking, and proving …