Results 1 to 20 of 37
Sort by:

  • CoLoSS
  • Referenced in 14 articles [sw07016]
  • Solver CoLoSS, the Coalgebraic Logic Satisfiability Solver, decides satisfiability of modal formulas in a generic...

  • Cool
  • Referenced in 4 articles [sw11992]
  • coalgebraic ontology logic solver Cool, a generic reasoner that decides the satisfiability of modal ... global assumptions – in description logic parlance, we support a general TBox and internalize a Boolean ... that of coalgebraic logic, a logical framework covering a wide range of modal logics, beyond...

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

  • GAP
  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...

  • HasCasl
  • Referenced in 17 articles [sw00399]
  • HasCasl: integrated higher-order specification and program development...

  • Isabelle
  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...

  • PRISM
  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...

  • CASL
  • Referenced in 174 articles [sw02235]
  • The specification language developed by CoFI is called...

  • CCSL
  • Referenced in 25 articles [sw03357]
  • CCSL is a specification language that combines both...

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

  • Haskell
  • Referenced in 880 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...

  • JML
  • Referenced in 189 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...

  • SLMC
  • Referenced in 74 articles [sw04604]
  • SLMC: A tool for model checking concurrent systems...

  • Prover9
  • Referenced in 198 articles [sw04969]
  • Prover9 and Mace4: Prover9 is an automated theorem...

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

  • CafeOBJ
  • Referenced in 171 articles [sw06232]
  • CafeOBJ as a tool for behavioral system verification...

  • Maude
  • Referenced in 698 articles [sw06233]
  • Maude is a high-performance reflective language and...

  • OCaml
  • Referenced in 273 articles [sw06363]
  • OCaml is the most popular variant of the...