E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper).

Julien Signoles Nikolai Kosmatov Kostyantyn Vorobyov

Published in: RV-CuBES (2017)

Keyphrases

information systems
neural network
database systems
programming language
software tools
key management