×

Found 7 Software Packages (Results 1–7)

Circus

Software Authors:   Woodcock, J.C.P., Cavalcanti, A.L.C.
Cited in: 73 Publications (2002–2021)
Related Software: Z; ProofPower; ZRC; Isabelle/UTP; Simulink; ClawZ; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

Isabelle/Circus

Software Authors:   Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
Cited in: 12 Publications (2013–2017)
Related Software: Isabelle/HOL; ProofPower; Isabelle; Circus; Sledgehammer; Isabelle/UTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

CZT

Software Authors:   Community Z Tools Project
Cited in: 6 Publications (2008–2012)
Related Software: Z; Circus; SPIN; ProofPower; Z/EVES; FDR2; …
Main Fields: Computer science (68-XX)

CirCUs

Software Authors:   Jin, HoonSang; Somenzi, Fabio
Cited in: 9 Publications (2004–2017)
Related Software: Chaff; zChaff; CUDD; BerkMin; Circus; ZRC; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

ArcAngelC

Software Authors:   Oliveira, Marcel; Zeyda, Frank; Cavalcanti, Ana
Cited in: 5 Publications (2010–2015)
Related Software: Circus; Z; ProofPower; ZRC; ArcAngel; ClawZ; …
Main Fields: Computer science (68-XX)

Z2sal

Software Authors:   J Derrick, S North, A J H Simons
Cited in: 5 Publications (2008–2012)
Related Software: SPIN; Z; Z/EVES; CZT; jSpin; PROMELA; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

CIRCUS

Software Authors:   Naquin D, d’Aubenton-Carafa Y, Thermes C, Silvain M
Cited in: 1 Publication (2017)
Related Software: ViennaRNA; QAPgrid; IgTree; Decombinator; SoDA2; Ab-origin; …
Main Fields: General and overarching topics; collections (00-XX); Biology and other natural sciences (92-XX)