• nauty

  • Referenced in 561 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • RelView

  • Referenced in 101 articles [sw00798]
  • The RelView-System is an interactive tool for...
  • SageMath

  • Referenced in 1675 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SPIRAL

  • Referenced in 46 articles [sw00903]
  • The SPIRAL system (www.spiral.net) is a tool for...
  • Theorema

  • Referenced in 145 articles [sw00961]
  • The software system Theorema provides a uniform logic...
  • TulaFale

  • Referenced in 14 articles [sw00986]
  • TulaFale: a security tool for web services. Web...
  • PRISM

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

  • Referenced in 716 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • ML

  • Referenced in 517 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • ALGOL 68

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • COBOL

  • Referenced in 233 articles [sw01228]
  • COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...
  • Stratego

  • Referenced in 74 articles [sw01259]
  • Stratego/XT is a language and toolset for program...
  • Kronos

  • Referenced in 263 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • Graphviz

  • Referenced in 84 articles [sw01283]
  • Graphviz is open source graph visualization software. Graph...
  • CLEAN

  • Referenced in 58 articles [sw01346]
  • Clean is a functional language based on Term...
  • Ada95

  • Referenced in 289 articles [sw01753]
  • Ada is a structured, statically typed, imperative, wide...
  • WordNet

  • Referenced in 393 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • JavaFAN

  • Referenced in 31 articles [sw01934]
  • Formal analysis of Java programs in JavaFAN. JavaFAN...