• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

RiTHM: a tool for enabling time-triggered runtime verification for C programs.

Samaneh NavabpourYogi JoshiChun Wah Wallace WuShay BerkovichRamy MedhatBorzoo BonakdarpourSebastian 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