• HybCore

  • Referenced in 1 article [sw39405]
  • foundations, producing challenges related to e.g. infinite iteration and combination of hybrid behaviour with other ... HybCore at the level of hybrid monads. We then establish a corresponding soundness and adequacy...
  • ACL2

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

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

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

  • Referenced in 30 articles [sw00505]
  • Local Analysis of Self-Similarity - The LASS tool...
  • Macaulay2

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • SINGULAR

  • Referenced in 1508 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • PERL

  • Referenced in 270 articles [sw01225]
  • Programming Perl. Perl is a language for easily...
  • 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...
  • CPLEX

  • Referenced in 2773 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • z3

  • Referenced in 597 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • MONA

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

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

  • Referenced in 103 articles [sw06691]
  • Secrets of the Glasgow Haskell Compiler inliner. Higher...
  • Twelf

  • Referenced in 173 articles [sw06888]
  • Twelf is a language used to specify, implement...
  • Mace4

  • Referenced in 227 articles [sw06905]
  • finite model-finder Mace4. Mace4 is a program...