Interactive and targeted runtime verification using a debugger-based architecture.

Paul Naert Seyed Vahid Azhari Michel Dagenais

Published in: J. Syst. Archit. (2021)

Keyphrases

real time
management system
model checking
software architecture
database
hardware design
neural network
information systems
software engineering
programming language
virtual reality
data visualization
network architecture
design tools
visualization tool