2
$\begingroup$

Recently I've read wiki page about Robert Kowalski (Prolog author) and stumbled upon interesting concept of Event Calculus. The wiki article mentions only few applications of this logical language. I am wondering if any tools are using EC for program verification (similarly to Effect Systems).

Is there any technology (language, library) applying Event Calculus for program verification?

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.