Towards an Extensible Architecture and Tool Support for Model-Based Verification.

David Delgado Lola Burgueño Javier Cámara Javier Troya

Published in: MoDELS (Companion) (2023)

Keyphrases

tool support
software tools
software development
design decisions
real time
management system
model checking
databases
network architecture
data model
test set
software architecture
distributed systems
software engineering
object oriented
markup language
face verification
colored petri nets