• PRISM

  • Referenced in 442 articles [sw01186]
  • sparse matrices; and one which combines both symbolic and sparse matrix methods. PRISM has been ... quality of service properties for a range of systems, including randomized distributed algorithms, manufacturing systems...
  • APL

  • Referenced in 79 articles [sw01165]
  • array. It uses a large range of special graphic symbols[3] to represent most functions...
  • AQCS

  • Referenced in 15 articles [sw08109]
  • order predicate logic containing the following symbols: Variables ranging over the reals, floating point interval...
  • FAST

  • Referenced in 40 articles [sw21268]
  • FAST: Fast Acceleration of Symbolic Transition Systems. fast is a tool for the analysis ... compared with those of other tools. A range of case studies from the literature...
  • SumCracker

  • Referenced in 17 articles [sw00924]
  • involving symbolic sums and related objects. SumCracker is applicable to a wide range of expressions...
  • VATA

  • Referenced in 7 articles [sw09917]
  • standard operations on both. The semi-symbolic encoding is intended for tree automata with large ... widest possible range of applications of the library even for the semi-symbolic encoding...
  • CAS/PI

  • Referenced in 22 articles [sw02186]
  • allow a wide range of runtime reconfigurations and extensions. For instance, it is possible ... tools, to extend the set of graphic symbols managed by the formula editor, to design...
  • MTBDD

  • Referenced in 5 articles [sw12873]
  • standard operations on both. The semi-symbolic encoding is intended for tree automata with large ... widest possible range of applications of the library even for the semi-symbolic encoding...
  • SEGMENTD

  • Referenced in 1 article [sw31545]
  • kinds of large manipulations where symbolic breakpoints and range limits are used. Some years ... especially for large scale use of symbolic breakpoints, or knots, for the functions. This package...
  • FixBag

  • Referenced in 4 articles [sw10096]
  • wider range of programs, we have developed a tool to compute symbolic fixpoints for quantified ... tool, we have tested it on a range of small but challenging examples with acceptable...
  • Symfem

  • Referenced in 1 article [sw39869]
  • functions of a wide range of finite element spaces; Symbolically compute derivatives and vector products...
  • Viper

  • Referenced in 9 articles [sw15038]
  • back-end verifiers: one based on symbolic execution, and one on verification condition generation ... interpretion is currently under development. A wide range of existing verification techniques can be implemented...
  • MathScheme

  • Referenced in 10 articles [sw15109]
  • formal framework that integrates and generalizes symbolic computation and formal deduction. The second project goal ... based on the formal framework. The long-range goal is to build...
  • VoiceGrip

  • Referenced in 1 article [sw01258]
  • voice tool that adresses the widest range of programming-by-voice problems to date. VoiceGrip ... evaluating the performance of the system’s symbol translation algorithm. In this experiment, the system ... rates in the range of 2.7% when confusion between homophonic symbols (i.e. symbols that have ... ignored and 6.6% when confusion between homophonic symbols was taken into account. Finally, even though...
  • SONOLAR

  • Referenced in 2 articles [sw26291]
  • modes with arbitrary range and precision: The solver supports the symbols described...
  • ExpoSE

  • Referenced in 3 articles [sw30523]
  • ExpoSE: practical symbolic execution of standalone JavaScript. JavaScript has evolved into a versatile ecosystem ... just the web, but also a wide range of server-side and client-side applications ... bugs increases. We introduce ExpoSE, a dynamic symbolic execution engine for Node.js applications. ExpoSE automatically...
  • EUREKA

  • Referenced in 3 articles [sw20979]
  • Software Model Checking. We describe EUREKA, a symbolic model checker for Linear Programs with arrays ... programs where variables and array elements range over a numeric domain and expressions involve linear...
  • SMV

  • Referenced in 13 articles [sw04135]
  • description of finite state system that range from completely synchronous to completely asynchronous and from ... concise syntax. SMV uses the OBDD-based symbolic model checking algorithm to efficiently determine whether...
  • kLog

  • Referenced in 5 articles [sw10403]
  • feature space. kLog supports mixed numerical and symbolic data, as well as background knowledge ... applied to tackle the same range of tasks that has made statistical relational learning...
  • VERIFAS

  • Referenced in 5 articles [sw33292]
  • synthetic workflows of complexity in the range recommended by software engineering practice. Compared ... good performance is due to a novel symbolic representation approach and a family of specialized...