Sign in

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

Julien SignolesNikolai KosmatovKostyantyn Vorobyov
Published in: RV-CuBES (2017)
Keyphrases
  • information systems
  • neural network
  • database systems
  • programming language
  • software tools
  • key management