• BioAmbient Machine

  • Referenced in 4 articles [sw12374]
  • Bioambient machine. BAM is a simulator of stochastic BioAmbients (see also the original paper ... BioAmbients). BAM is written in Java 1.5. BAM can be used to simulate bioregulatory pathways...
  • PRISM

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

  • Referenced in 74 articles [sw04604]
  • SLMC: A tool for model checking concurrent systems...
  • Succinct

  • Referenced in 5 articles [sw09703]
  • The Succinct Solver Suite offers two analysis engines...
  • SpiCO

  • Referenced in 10 articles [sw10691]
  • A stochastic pi calculus for concurrent objects. We...
  • PEPA

  • Referenced in 117 articles [sw10692]
  • PEPA: Performance Evaluation Process Algebra. PEPA tools: The...
  • BioSPI

  • Referenced in 7 articles [sw11784]
  • THE BioSPI SYSTEM FOR SIMULATION OF BIOCHEMICAL PROCESSES...
  • LBS

  • Referenced in 15 articles [sw12372]
  • A language for biochemical systems: design and formal...
  • BlenX

  • Referenced in 22 articles [sw12373]
  • The BlenX Language: A Tutorial. This paper presents...
  • TRANSFAC

  • Referenced in 74 articles [sw17201]
  • TRANSFAC: an integrated system for gene expression regulation...