• PVS

  • Referenced in 505 articles [sw03484]
  • state-of-the-art in mechanized formal methods and to be sufficiently rugged that...
  • Java PathFinder

  • Referenced in 106 articles [sw07658]
  • broader attempt to make formal methods applicable within NASA’s areas such as space, aviation ... continuation of an effort to formally analyze, using SPIN, a multi-threaded operating system...
  • PPL

  • Referenced in 68 articles [sw05357]
  • played an important role in the formal methods community and several critical tasks rely...
  • Isabelle/Isar

  • Referenced in 63 articles [sw02006]
  • Building formal method tools in the Isabelle/Isar framework --------- siehe Isar...
  • TRIC

  • Referenced in 36 articles [sw02165]
  • natural-mode finite element method formalized through appropriate geometrical, trigonometrical and enigneering mathematical relations...
  • CompCert

  • Referenced in 25 articles [sw09737]
  • that can be obtained by applying formal methods to source programs. The main result...
  • UNITY

  • Referenced in 156 articles [sw13461]
  • Mechanical methods for mapping the transition systems first into a set of formal assertions, permitting...
  • Alcoa

  • Referenced in 24 articles [sw09481]
  • other end, it embodies a lightweight formal method in which subtle properties of behaviour...
  • Paramils

  • Referenced in 46 articles [sw00678]
  • this algorithm configuration problem. More formally, we provide methods for optimizing a target algorithm...
  • FLAME

  • Referenced in 34 articles [sw00293]
  • simplified. In combination with our formal linear algebra methods environment (FLAME) approach to deriving such...
  • RAISE

  • Referenced in 14 articles [sw03248]
  • RAISE tools. The use of a formal method is often seen in terms...
  • NESTOR

  • Referenced in 25 articles [sw22096]
  • knowledge-based methods within a formal probability theory framework. A user interface module gives ... three tasks, and the details of the methods used to address them. In addition...
  • Korat

  • Referenced in 30 articles [sw07259]
  • Java programs. Given a formal specification for a method, Korat uses the method precondition...
  • DisCo

  • Referenced in 6 articles [sw10393]
  • DisCo Toolset -- the new generation. Formal methods have been considered one possible solution ... crisis. Tools are valuable companions to formal methods: they assist in analysis and understanding ... toolset is given. DisCo is a formal specification method for reactive and distributed systems...
  • Truth/SLC

  • Referenced in 8 articles [sw01623]
  • correctness of their implementation. Formal specification and verification methods are therefore becoming more and more ... view of the inherent complexity of formal methods it is desirable to provide the user...
  • UniForM

  • Referenced in 6 articles [sw10332]
  • workbench a universal development environment for formal methods. The UniForM Workbench supports combination of Formal...
  • Java-MaC

  • Referenced in 6 articles [sw20000]
  • architecture. MaC is a lightweight formal method solution which works as a viable complement ... current heavyweight formal methods. In addition, analysis processes of the architecture including instrumentation...
  • PVeStA

  • Referenced in 14 articles [sw08423]
  • Statistical model checking is an attractive formal analysis method for probabilistic systems such...
  • Isabelle/PIDE

  • Referenced in 6 articles [sw07185]
  • obstructing the view on applications of formal methods, formalized mathematics, and math education in particular...
  • IsaWin

  • Referenced in 8 articles [sw04899]
  • these provers and encapsulations of formal methods. In this problem domain, particular attention...