Results 1 to 20 of 50
Sort by:

  • 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...