Proving Partial-Correctness and Invariance Properties of Transition-System Models.

Vlad Rusu, Gilles Grimaud, Michal Hauspie

Browse the full TASE paper archive.