
PiDuce
 Referenced in 21 articles
[sw01418]
 based on Milner’s asynchronous pi calculus. The runtime environment supports the execution of PiDuce ... processes over networks by relying on stateoftheart technologies, such as XML schema...

SOL
 Referenced in 1 article
[sw35247]
 theory of states and bits, and Stark’s theory of (pi)calculus. We also demonstrate...

PICASSO
 Referenced in 1 article
[sw36776]
 PICASSO: a PICAlculusbased Static SOftware analyzer. Picasso is a static analyzer for depth ... subsume a diverse range of infinitestate systems. Picasso computes an invariant of the input...

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

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

gfun
 Referenced in 144 articles
[sw00344]
 The gfun package provides tools for determining and...

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

Magma
 Referenced in 3363 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6445 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

R
 Referenced in 10196 articles
[sw00771]
 R is a language and environment for statistical...

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

Sostools
 Referenced in 293 articles
[sw00891]
 We are pleased to introduce SOSTOOLS, a free...

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

AUTO
 Referenced in 958 articles
[sw01059]
 AUTO is a software for continuation and bifurcation...

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

MACSYMA
 Referenced in 721 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

ML
 Referenced in 524 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

Graphviz
 Referenced in 93 articles
[sw01283]
 Graphviz is open source graph visualization software. Graph...