• SIGREF

  • Referenced in 15 articles [sw00859]
  • We present a uniform signature-based approach to...
  • SODAS

  • Referenced in 74 articles [sw00885]
  • The author gives a short introduction to the...
  • WSAT

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

  • Referenced in 554 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • 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 symbolic-numerical-graphical...
  • ML

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

  • Referenced in 34 articles [sw01544]
  • MoDeST --- a modelling and description language for stochastic...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • Uppaal is an integrated tool environment for modeling...
  • WordNet

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

  • Referenced in 27 articles [sw01792]
  • The goal of the Rule Markup Initiative is...
  • GOLOG

  • Referenced in 173 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • ASSAT

  • Referenced in 176 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...
  • MINITAB

  • Referenced in 210 articles [sw02865]
  • Analyze your data and improve your products and...
  • S-PLUS

  • Referenced in 630 articles [sw02892]
  • S-PLUS is a powerful environment for statistical...
  • LOTOS

  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • VESTA

  • Referenced in 10 articles [sw02978]
  • For substantial software systems (say, 500k source lines...
  • SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...