Login / Signup
Feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management system.
Maxime Méré
Frédéric Jouault
Loïc Pallardy
Richard Perdriau
Published in:
MoDELS (2022)
Keyphrases
</>
life cycle
formal verification
management system
uml models
model checking
smart spaces
metamodel
model checker
bounded model checking
product life cycle
requirements engineering
design process
concurrent engineering
object oriented
decision making
automated verification
mass production