Can a Model Checker Generate Tests for Non-Deterministic Systems?
Sergiy Boroday, Alexandre Petrenko, Roland GrozVolume:
190
Year:
2007
Language:
english
Pages:
17
DOI:
10.1016/j.entcs.2007.08.002
File:
PDF, 333 KB
english, 2007