Login / Signup
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker.
Davide Basile
Alessandro Fantechi
Luigi Rucher
Gianluca Mandò
Published in:
Formal Aspects Comput. (2021)
Keyphrases
</>
model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
set theory
symbolic model checking
test suite
ai planning
specification language
rough set theory
genetic algorithm
image analysis
control system