• Isabelle/Isar

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

  • Referenced in 620 articles [sw03484]
  • specification language integrated with support tools and a theorem prover. It is intended to capture ... state-of-the-art in mechanized formal methods and to be sufficiently rugged that...
  • RRL

  • Referenced in 55 articles [sw28904]
  • research tool for investigating the use of formal methods in hardware and software design...
  • CoLoR

  • Referenced in 38 articles [sw09806]
  • Turing-complete formalism of term rewriting. Over the years, many methods and tools have been...
  • RAISE

  • Referenced in 15 articles [sw03248]
  • development of the RAISE tools. The use of a formal method is often seen ... specification is correct. It considers the RAISE tools in terms both of their development...
  • PVeStA

  • Referenced in 17 articles [sw08423]
  • quantitative analysis tool. Statistical model checking is an attractive formal analysis method for probabilistic systems ... making such scalability of analysis available to tools like Maude, where probabilistic systems...
  • DisCo

  • Referenced in 7 articles [sw10393]
  • called software crisis. Tools are valuable companions to formal methods: they assist in analysis ... toolset is given. DisCo is a formal specification method for reactive and distributed systems ... currently includes a compiler, a graphical animation tool, and a scenario tool for representing execution...
  • LATIN

  • Referenced in 15 articles [sw19699]
  • developing methods, techniques, and tools for interfacing logics and related formal systems. These systems...
  • FCALGS

  • Referenced in 10 articles [sw29550]
  • standalone tools implementing algorithms for Formal Concept Analysis (FCA) – a method of qualitative data analysis ... implement high-performance command-line tools for computing formal concepts, (frequent) itemsets, nonredundant bases, boolean...
  • B4Free

  • Referenced in 6 articles [sw07085]
  • Academic tool enabling the operational use of formal Method B for proven software development...
  • mural

  • Referenced in 9 articles [sw23627]
  • considerable size, formal methods cannot be used without appropriate support tools. The book presents such ... that mainly consists of a VDM support tool and a proof assistant. The book ... least of another formal method, it is difficult to read.par The book is divided into ... discuss the support tool for working with VDM and a tool for simulating the behaviour...
  • UniForM

  • Referenced in 8 articles [sw10332]
  • supports combination of Formal Methods (on a solid logical foundation), provides tools for the development...
  • Featherweight Java

  • Referenced in 91 articles [sw16204]
  • offers a similar computational ”feel,” providing classes, methods, fields, inheritance, and dynamic typecasts with ... Featherweight Java make it a handy tool for studying the consequences of extensions and variations ... proof of type safety. The extended system formalizes for the first time some...
  • Alcoa

  • Referenced in 27 articles [sw09481]
  • support tool for object model diagrams, checking for consistency of multiplicities and generating sample snapshots ... other end, it embodies a lightweight formal method in which subtle properties of behaviour...
  • Exp.Open

  • Referenced in 10 articles [sw07702]
  • Verification Methods. It is desirable to integrate formal verification techniques applicable to different languages ... present Exp.Open 2.0, a new tool of the Cadp verification toolbox which combines several features...
  • Isabelle/PIDE

  • Referenced in 13 articles [sw07185]
  • many user-interfaces, editor frameworks, and educational tools already exist. This shall ultimately lead ... obstructing the view on applications of formal methods, formalized mathematics, and math education in particular...
  • Atelier B

  • Referenced in 16 articles [sw07086]
  • industrial tool that allows for the operational use of the B Method to develop defect ... free proven software (formal software). Two versions are available: Community Edition available to anyone without...
  • Lean

  • Referenced in 37 articles [sw15148]
  • automated theorem proving, by situating automated tools and methods in a framework that supports user ... systems. It is currently being used to formalize category theory, homotopy type theory, and abstract...
  • quantilogram

  • Referenced in 24 articles [sw25152]
  • tool can be used formally and we provide the inference tools to do this under ... simple graphical device. We apply our method to measure directional predictability and to test...
  • Truth/SLC

  • Referenced in 8 articles [sw01623]
  • complexity of formal methods it is desirable to provide the user with tool support...