Login / Signup
RiTHM: a tool for enabling time-triggered runtime verification for C programs.
Samaneh Navabpour
Yogi Joshi
Chun Wah Wallace Wu
Shay Berkovich
Ramy Medhat
Borzoo Bonakdarpour
Sebastian Fischmeister
Published in:
ESEC/SIGSOFT FSE (2013)
Keyphrases
</>
free software
model checking
machine learning
relational databases
software tools
runtime environment
genetic algorithm
website
decision trees
data model
user friendly
computer programs
formal verification