• FORTH

  • Referenced in 6 articles [sw02975]
  • used in boot loaders such as Open Firmware, space applications,[1] and other embedded systems...
  • xmx

  • Referenced in 2 articles [sw24210]
  • firmware-oriented block cipher based on modular multiplications. This paper presents xmx, a new symmetric...
  • AppGuard

  • Referenced in 2 articles [sw40193]
  • require any changes to a smartphone’s firmware or root access. Our system offers complete...
  • OpenTFTP

  • Referenced in 1 article [sw12803]
  • Server Open Source Freeware Windows/Unix for PXEBOOT, firmware load, support tsize, blksize, timeout Server Port...
  • artdaq

  • Referenced in 1 article [sw26471]
  • control, and low-level hardware communication utilities. Firmware blocks for several commercial data acquisition boards...
  • NxTF

  • Referenced in 1 article [sw38430]
  • expose a variety of constraints that affect firmware, compiler and algorithm development alike. To enable...
  • Boxify

  • Referenced in 1 article [sw38763]
  • called Boxify that can be deployed without firmware modifications or root privileges. A systematic evaluation...
  • KLEE

  • Referenced in 44 articles [sw04894]
  • KLEE: Unassisted and Automatic Generation of High-Coverage...
  • VCC

  • Referenced in 71 articles [sw07220]
  • VCC is a mechanical verifier for concurrent C...
  • CPAchecker

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

  • Referenced in 95 articles [sw07491]
  • Xilinx system generator and Xilinx Tool Kit. Programmable...
  • UFO

  • Referenced in 23 articles [sw09570]
  • Ufo: A Framework for Abstraction- and Interpolation-Based...
  • CBMC

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

  • Referenced in 41 articles [sw12804]
  • SATABS: SAT-based predicate abstraction for ANSI-C...
  • seL4

  • Referenced in 91 articles [sw15222]
  • seL4: formal verification of an OS kernel. Complete...
  • Coverity

  • Referenced in 3 articles [sw20227]
  • Coverity: Static Code Analysis. Find critical defects and...
  • GitHub

  • Referenced in 2766 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • SMACK

  • Referenced in 9 articles [sw23311]
  • SMACK is both a modular software verification toolchain...
  • Klocwork

  • Referenced in 7 articles [sw26814]
  • Klocwork: Faster delivery of secure, reliable, and conformant...
  • QEMU

  • Referenced in 19 articles [sw31057]
  • QEMU, a fast and portable dynamic translator. We...