• Uppaal

  • Referenced in 656 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • LLVM

  • Referenced in 88 articles [sw04892]
  • The LLVM Project is a collection of modular...
  • KLEE

  • Referenced in 45 articles [sw04894]
  • KLEE: Unassisted and Automatic Generation of High-Coverage...
  • Stony Brook

  • Referenced in 95 articles [sw05040]
  • The Stony Brook Algorithm Repository mainly for combinatorial...
  • DART

  • Referenced in 76 articles [sw07260]
  • DART: directed automated random testing. We present a...
  • CPAchecker

  • Referenced in 54 articles [sw07408]
  • Cpachecker with sequential combination of explicit-state analysis...
  • MediaBench

  • Referenced in 34 articles [sw08949]
  • MediaBench: a tool for evaluating and synthesizing multimedia...
  • CBMC

  • Referenced in 85 articles [sw09719]
  • CBMC is a Bounded Model Checker for ANSI...
  • gem5

  • Referenced in 10 articles [sw10707]
  • The gem5 Simulator System. A modular platform for...
  • SICStus

  • Referenced in 109 articles [sw12440]
  • SICStus Prolog has evolved for nearly 25 years...
  • aiT

  • Referenced in 12 articles [sw13101]
  • aiT: Worst case execution time analyzer. aiT WCET...
  • opaal

  • Referenced in 6 articles [sw13332]
  • opaal: A Lattice Model Checker. We present a...
  • Smacc

  • Referenced in 2 articles [sw14305]
  • Smacc: a retargetable symbolic execution engine. SmacC is...
  • RapiTime

  • Referenced in 1 article [sw14480]
  • RapiTime is an on-target, automated timing analysis...
  • FShell

  • Referenced in 8 articles [sw14481]
  • FShell: Systematic Test Case Generation for Dynamic Analysis...
  • Esterel

  • Referenced in 166 articles [sw20012]
  • Esterel is both a programming language, dedicated to...
  • PipLib

  • Referenced in 19 articles [sw23763]
  • PIP/Piplib, a parametric integer linear programming solver. PIP/PipLib...
  • CACTI

  • Referenced in 2 articles [sw23996]
  • CACTI 6.0: A Tool to Model Large Caches...