• jMoped

  • Referenced in 10 articles [sw01486]
  • that translates Java bytecodes into symbolic pushdown systems, which are then checked by the Moped...
  • C-SHORe

  • Referenced in 5 articles [sw13319]
  • equi-expressive with HORS called collapsible pushdown systems (CPDS). At its core is a substantial...
  • WPDS++

  • Referenced in 3 articles [sw33482]
  • form of a weighted pushdown system. WPDS++ is a library for answering generalized reachability queries ... weighted pushdown systems. The Path Inspector is a software model checker built...
  • Moped

  • Referenced in 3 articles [sw20266]
  • Moped - A Model-Checker for Pushdown Systems...
  • OpenNWA

  • Referenced in 3 articles [sw33220]
  • interoperates closely with the weighted pushdown system portions of WALi...
  • JFLAP

  • Referenced in 12 articles [sw10334]
  • pushdown automata, multi-tape Turing machines, several types of grammars, parsing, and L-systems...
  • WALi-NWA

  • Referenced in 0 articles [sw33481]
  • inter-operates with WALi’s weighted pushdown system (WPDS) code...
  • TravMC

  • Referenced in 2 articles [sw09396]
  • natural generalisation of finite-state and pushdown model checking. Recent work has shown that ... model checking problem by an intersection type system extended with a carefully restricted form...
  • ACL2

  • Referenced in 277 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Coq

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

  • Referenced in 36 articles [sw00501]
  • LANGAGE: A Maple package for automaton characterization of...
  • Kronos

  • Referenced in 261 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • ASTRAL

  • Referenced in 17 articles [sw02878]
  • Hardware specification using the assertion language ASTRAL We...
  • UCFL

  • Referenced in 11 articles [sw02951]
  • Church-Rosser languages vs. UCFL. The class of...
  • SLAM

  • Referenced in 151 articles [sw03136]
  • SLAM is a project for checking that software...
  • SPIN

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

  • Referenced in 324 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • Uppaal

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

  • Referenced in 502 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • MONA

  • Referenced in 118 articles [sw06170]
  • MONA implementation secrets. The MONA tool provides an...