• ARPACK

  • Referenced in 841 articles [sw04218]
  • usual order n2 floating point operations. This software is based upon an algorithmic variant ... These variants may be viewed as a synthesis of the Arnoldi/Lanczos process with the Implicitly ... matrix on a vector is needed. ARPACK software is capable of solving large scale symmetric...
  • Mu Analysis and Synthesis Toolbox

  • Referenced in 110 articles [sw19506]
  • optimal control and m analysis and synthesis techniques. This package allows you to use sophisticated ... solve control design problems. Control design software, such as μ-Tools, provides a link between...
  • TuLiP

  • Referenced in 13 articles [sw20173]
  • describes TuLiP, a Python-based software toolbox for the synthesis of embedded control software that ... abstraction of control systems, (2) digital design synthesis from LTL specifications, and (3) receding horizon...
  • Lambda-Clam

  • Referenced in 24 articles [sw19614]
  • outlined, in particular the synthesis and verification of software and hardware systems...
  • MR and LTV Synthesis Tools

  • Referenced in 36 articles [sw05190]
  • discrete-time LTV systems using LMI synthesis methods System type conversion (i.e. multi-rate ... solvers must be installed to use this software...
  • Giotto

  • Referenced in 16 articles [sw08971]
  • typical control application consists of periodic software tasks together with a mode switching logic ... automation in the validation and synthesis of control software. The time-triggered nature of Giotto...
  • SCOTS

  • Referenced in 17 articles [sw20172]
  • introduce SCOTS a software tool for the automatic controller synthesis for nonlinear control systems based...
  • TCT

  • Referenced in 10 articles [sw13640]
  • Computation Tool for Supervisory Control Synthesis. The TCT software package is designed for the synthesis...
  • SYMBA

  • Referenced in 13 articles [sw08528]
  • numerous uses for them in software verification, program synthesis, functional programming, refinement types...
  • Oyster

  • Referenced in 33 articles [sw19629]
  • Theorem proving and program synthesis with Oyster. Martin-Löf type theory provides a formal framework ... software engineering using this approach. We illustrate this by describing the synthesis of a simple...
  • Vertaf

  • Referenced in 4 articles [sw08200]
  • design of reusable software components, the synthesis and generation of software code, and the automatic ... Framework (VERTAF), which integrates software component-based reuse, formal synthesis, and formal verification. A formal ... model is proposed for component reuse. Formal synthesis employs quasi-static and quasi-dynamic scheduling ... high-level reuse of software components combined with automatic synthesis and verification can increase design...
  • NET-SYNTHESIS

  • Referenced in 3 articles [sw29379]
  • SYNTHESIS: A software for synthesis, inference and simplification of signal transduction networks. Our software performs ... combined synthesis, inference and simplification of signal transduction networks. The main idea of the application ... graph consistent with all experimental observations. The software contains algorithms for (i) transitive reduction...
  • Sehwa

  • Referenced in 9 articles [sw08111]
  • Sehwa: a software package for synthesis of pipelines from behavioral specification. A set of techniques...
  • IMITATOR

  • Referenced in 29 articles [sw00439]
  • IMITATOR is a software tool for parametric verification and robustness analysis of real-time systems ... stopwatches. It implemented several algorithms including safety synthesis, robustness, untimed language preservation, non-Zeno...
  • WoLFram

  • Referenced in 15 articles [sw02075]
  • transforms PLC software to SystemC is presented. The integrated flow of synthesis, verification and debugging ... applied to prove the correctness of the software. It is shown, that modern SAT solvers...
  • JAHUEL

  • Referenced in 2 articles [sw10084]
  • Jahuel: A Formal Framework for Software Synthesis. We present a theoretically sound and automated model ... Special emphasis is put on multi-threaded software and multi-processor architectures. The framework consists...
  • Yosys

  • Referenced in 5 articles [sw31796]
  • first full-featured open source software for Verilog HDL synthesis. It supports most of Verilog...
  • E-CELL

  • Referenced in 23 articles [sw07917]
  • chemical compounds in the cell. Using this software, we constructed a model of a hypothetical ... transcription, translation, energy production and phospholipid synthesis. Most of the genes are taken from Mycoplasma ... genome engineering. AVAILABILITY: The E-CELL software is available upon request. SUPPLEMENTARY INFORMATION: The complete...
  • TOMP

  • Referenced in 32 articles [sw00971]
  • calculations. A great number of analysis and synthesis problems of modern processes can be written ... equations with multipoint boundary values. As the software tools for following this attractive approach...
  • SCCharts

  • Referenced in 3 articles [sw26907]
  • compilation chain that allows efficient synthesis of software and hardware...