
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 eventbased 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 highlevel language and interactive...

MiniSat
 Referenced in 566 articles
[sw00577]
 An extensible SATsolver. 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...