• RSL

  • Referenced in 3 articles [sw00815]
  • RSL is a parallel runtime system library developed at Argonne National Laboratory, that is tailored...
  • RSL

  • Referenced in 1 article [sw22253]
  • RSL - The Rough Set Library. In this paper we will present some basic properties ... functions of the Rough Set Library. The RSL implements fundamental ideas of Rough Set Theory...
  • MM90

  • Referenced in 2 articles [sw03305]
  • passing) computers is handled transparently using the RSL library package. Fortran90 modules, derived data types...
  • CASL

  • Referenced in 173 articles [sw02235]
  • The specification language developed by CoFI is called...
  • RAISE

  • Referenced in 15 articles [sw03248]
  • The development of the RAISE tools. The use...
  • SPIN

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

  • Referenced in 168 articles [sw06232]
  • CafeOBJ as a tool for behavioral system verification...
  • Maude

  • Referenced in 670 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • ETPS

  • Referenced in 156 articles [sw06302]
  • TPS and ETPS are, respectively, the Theorem Proving...
  • LTL2BA

  • Referenced in 99 articles [sw10956]
  • Fast LTL to Büchi automata translation. We present...
  • FDR2

  • Referenced in 58 articles [sw11466]
  • FDR2 is a refinement checker for establishing properties...
  • daTac

  • Referenced in 3 articles [sw26325]
  • daTac - Déduction Automatique dans des Théories Associatives-Commutatives...