Spin model checking and software verification

Descrição: The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model chec... Veja mais