Advanced Search Tips

Krakatoa

Submitted by on Jun 18 2014 Suggest Revision
From:
Paper:
Resource Type:
Code
License:
Other/Unknown
Language:
Java
Data Format:

Description

Krakatoa is a verification tool for Java programs. It is a tool from the Why platform for deductive program verification.
Post comment
Cancel