Lendvai Dénes

icon indicating an email [email protected]

Results 2 issues of Lendvai Dénes

New trace gen option and scenario formalization fixes

Extend Xsts to find all paths leading to target state