Open yrke opened 3 years ago
See https://github.com/UPPAALModelChecker/uppaal/pull/175
Unsupported features: Verification of deadlocks. (Should throw "unsupported" logic error) Liveness queries (E[] and A<>). (Should throw "unsupported" logic error) All other types of unmentioned queries Usefull links: Paper: Randomized Reachability Analysis in UPPAAL
Paper artefact - models and UPPAAL prototype: http://people.cs.aau.dk/~ulrik/submissions/874325/FMICS2021.zip (need to copy-paste link into new tab, doesn't seem to work otherwise)
See https://github.com/UPPAALModelChecker/uppaal/pull/175
Unsupported features: Verification of deadlocks. (Should throw "unsupported" logic error) Liveness queries (E[] and A<>). (Should throw "unsupported" logic error) All other types of unmentioned queries Usefull links: Paper: Randomized Reachability Analysis in UPPAAL
Paper artefact - models and UPPAAL prototype: http://people.cs.aau.dk/~ulrik/submissions/874325/FMICS2021.zip (need to copy-paste link into new tab, doesn't seem to work otherwise)