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

CIRC is a tool for automated inductive and coinductive theorem proving. It includes an
engine based on circular coinduction, which makes CIRC particularly well-suited for proving …

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 …