• PRISM

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

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

  • Referenced in 197 articles [sw01224]
  • The Modula programming language is a descendant of...
  • PERL

  • Referenced in 270 articles [sw01225]
  • Programming Perl. Perl is a language for easily...
  • DYNAMO

  • Referenced in 261 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • Tiburon

  • Referenced in 16 articles [sw01312]
  • Tiburon is a tree transducer package written by...
  • WinALT

  • Referenced in 9 articles [sw01533]
  • WinALT: a simulation system for computations with spatial...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • WoLFram

  • Referenced in 15 articles [sw02075]
  • WoLFram -- a word level framework for formal verification...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • The ELAN system provides an environment for specifying...
  • SPADE

  • Referenced in 89 articles [sw02226]
  • In this paper we present SPADE, a new...
  • SIGNAL

  • Referenced in 52 articles [sw02915]
  • An ML-like module system for the synchronous...
  • LOTOS

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

  • Referenced in 80 articles [sw03051]
  • Constraint-Based Local Search. The ubiquity of combinatorial...
  • NEURON

  • Referenced in 187 articles [sw03059]
  • Parallel network simulations with NEURON. The NEURON simulation...
  • SPIN

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

  • Referenced in 879 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...