• Chalice

  • Referenced in 7 articles [sw07704]
  • experimental language that explores specification and verification of concurrency in programs. The language supports dynamic ... fork and join), mutual-exclusion and readers-writers locks, monitor invariants, thread pre- and postconditions...
  • Coq

  • Referenced in 1784 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Zing

  • Referenced in 38 articles [sw01037]
  • Zing is a software model checking project at...
  • SPIN

  • Referenced in 709 articles [sw03455]
  • Spin is a popular open-source software tool...
  • PVS

  • Referenced in 614 articles [sw03484]
  • PVS is a verification system: that is, a...
  • Uppaal

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

  • Referenced in 2225 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • Torch

  • Referenced in 34 articles [sw05407]
  • Torch is a machine learning library written in...
  • GHC

  • Referenced in 102 articles [sw06691]
  • Secrets of the Glasgow Haskell Compiler inliner. Higher...
  • jSpin

  • Referenced in 17 articles [sw07638]
  • jSpin is a graphical user interface for the...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • Using the Bandera tool set to model-check...
  • CESAR

  • Referenced in 156 articles [sw08510]
  • Specification and verification of concurrent systems in CESAR...
  • IAM

  • Referenced in 12 articles [sw08585]
  • The IAM-database: An English sentence database for...
  • JPF-SE

  • Referenced in 10 articles [sw12038]
  • JPF-SE: a symbolic execution extension to Java...
  • RingSTM

  • Referenced in 4 articles [sw25976]
  • RingSTM: Scalable Transactions with a Single Atomic Instruction...