• GOLOG

  • Referenced in 172 articles [sw02159]
  • industrial processes, intelligent software agents, discrete event simulation, etc. It is based on a formal ... extended version of the situation calculus. A prototype implementation in Prolog has been developed...
  • Society Visualiser

  • Referenced in 11 articles [sw20845]
  • languages, the C+ language and the Event Calculus, and executed using respective software implementations...
  • f2lp

  • Referenced in 10 articles [sw09898]
  • f2lp to compute the circumscriptive event calculus...
  • Hazelnut

  • Referenced in 2 articles [sw22659]
  • guide when we extend the calculus to include binary sum types. We also discuss various ... semantics lends itself to implementation as an event-based functional reactive program. Our simple reference...
  • SEQ.OPEN

  • Referenced in 1 article [sw00849]
  • that allow to check the correctness of event traces obtained by simulating or executing complex ... using either regular expressions or modal $\mu $-calculus formulas, and verified efficiently on very large...
  • ACL2

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

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

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

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

  • Referenced in 5369 articles [sw00545]
  • The result of over 30 years of cutting...
  • MATCONT

  • Referenced in 442 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

  • Referenced in 6343 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13488 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • R

  • Referenced in 9832 articles [sw00771]
  • R is a language and environment for statistical...
  • Sostools

  • Referenced in 289 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • SUNDIALS

  • Referenced in 241 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...
  • TimeNET

  • Referenced in 30 articles [sw00965]
  • This paper describes TimeNET (Timed Net Evaluation Tool...
  • WSAT

  • Referenced in 37 articles [sw01022]
  • This paper presents Web Service Analysis Tool (WSAT...