235 followers
@kristleifur @davidad Resource for JML is, e.g., https://t.co/Ct8bgkWbl3
@kristleifur @davidad Resource for JML is, e.g., https://t.co/Ct8bgkWbl3
@whileydave @JosephJnk @amintos @WhileyLang KeY https://t.co/nRlkU8knY8 is also a contract-based verification system (for Java). It's working with dynamic logic, an extension of Hoare logic. See https://t.co/qPqSvTLMxo.
@gustavopinto For depth: The KeY book contains good material mainly on symbolic execution (generally deductive verification) https://t.co/nRlkU8knY8