• Exp.Open

  • Referenced in 10 articles [sw07702]
  • partial order reductions to avoid the generation of irrelevant interleavings of independent transitions.Fourth, Exp.Open ... tools using interchange formats such as automata networks and Petri nets.Finally, we show some practical...
  • Graph Investigator

  • Referenced in 2 articles [sw26160]
  • functions is briefly described including graph feature generation, comparison, visualization and edition. The program enables ... analyze global and local structural properties of networks with the use of various descriptors derived ... networks analysis performed with Graph Investigator: comparison of brain vasculature with structurally similar artificial networks ... cortical connectivity network. The third example describes tracking parameters of artificial vascular network evolving...
  • SENSE

  • Referenced in 1 article [sw30632]
  • formulae in linear temporal logic or as automata on infinite strings. One general technique ... symbolic model of the plant and network parameters, SENSE can efficiently construct a symbolic model ... using OMNETPP and MATLAB. Additionally, SENSE can generate ready-to-implement VHDL/Verilog or C/C++ codes...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • GreatSPN2.0 is a software package for the modeling...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Magma

  • Referenced in 3315 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • MARCA

  • Referenced in 32 articles [sw00547]
  • MARCA: Markov chain analyzer, a software package for...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • NAG

  • Referenced in 423 articles [sw00610]
  • Produced by experts for use in a variety...
  • nauty

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