Article,

Safety Verification and Refutation by k-invariants and k-induction (extended version).

, , , and .
CoRR, (2015)

Meta data

Tags

    Users

    Comments and Reviews