• TRANSIT

  • Referenced in 3 articles [sw28674]
  • EFSM skeleton by inferring guards and updates from the given fragments which is then automatically...
  • Datalog LITE

  • Referenced in 8 articles [sw28894]
  • fact, these formalisms have natural presentations as fragments of Datalog LITE. Further, Datalog LITE ... equivalent to the alternation-free portion of guarded fixed-point logic. Consequently, linear-time model ... proofs to the effect that linear-time fragments of extit{stratified} Datalog have too limited...
  • Coq

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

  • Referenced in 286 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • CUDA

  • Referenced in 1035 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • AMPL

  • Referenced in 532 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • CPLEX

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

  • Referenced in 149 articles [sw04108]
  • SPASS is an automated theorem prover for first...
  • Uppaal

  • Referenced in 599 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • FALKO

  • Referenced in 11 articles [sw04839]
  • Report on a practical application of ASMs in...
  • FINDER

  • Referenced in 38 articles [sw06376]
  • Finite domain enumerator. This is a finite domain...
  • Z

  • Referenced in 268 articles [sw10291]
  • Using Z. Specification, refinement, and proof. The book...
  • TABLEAUX

  • Referenced in 13 articles [sw11674]
  • TABLEAUX: A general theorem prover for modal logics...
  • XPath

  • Referenced in 358 articles [sw15780]
  • XPath 2.0 is an expression language that allows...
  • Bliksem

  • Referenced in 15 articles [sw21346]
  • Bliksem is a first-order, resolution based theorem...