• ARTP

  • Referenced in 3 articles [sw02587]
  • ARTP: a buffer-aware rate control protocol for...
  • NuSMV

  • Referenced in 298 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • CADP

  • Referenced in 130 articles [sw04993]
  • CADP (”Construction and Analysis of Distributed Processes”, formerly...
  • nuXmv

  • Referenced in 23 articles [sw18526]
  • The nuXmv Symbolic Model Checker. This paper describes...