• Giotto

  • Referenced in 16 articles [sw08971]
  • great deal of automation in the validation and synthesis of control software. The time-triggered...
  • AMYTISS

  • Referenced in 2 articles [sw36936]
  • AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. In this...
  • Spectool

  • Referenced in 2 articles [sw01098]
  • Spectool: Automated synthesis of control code for discrete event controllers...
  • SENSE

  • Referenced in 1 article [sw30632]
  • SENSE: Abstraction-Based Synthesis of Networked Control Systems. While many studies and tools target ... basic stabilizability problem of networked control systems (NCS), nowadays modern systems require more sophisticated objectives ... finite abstractions, and then, correct-by-construction controllers are automatically synthesized for them. We present ... abstractions for NCS and the automated synthesis of controllers. Constructed controllers enforce complex specifications over...
  • JBernstein

  • Referenced in 2 articles [sw19486]
  • essential in many automated verification and synthesis tasks for hybrid systems, control algorithms, digital signal...
  • miz3

  • Referenced in 11 articles [sw18631]
  • interactive theorem proving. We propose a synthesis of the two proof styles of interactive theorem ... style (where proofs are texts in a controlled natural language, like in Isabelle/Isar). Our approach ... mathematical text – and the procedural style – strong automation and help with shaping the proofs, including...
  • CRCBode

  • Referenced in 1 article [sw10849]
  • designing and experimentally verifying a flow-rate controller for a butterfly-valve based liquid cooling ... with one generated using an automated $H_infty$ synthesis algorithm and discuss the advantages...
  • StocHy

  • Referenced in 3 articles [sw36937]
  • StocHy: automated verification and synthesis of stochastic processes. StocHy is a software tool ... employed for (ii) formal verification or (iii) control (policy, strategy) synthesis. StocHy allows for modular...
  • iCTRL

  • Referenced in 1 article [sw01473]
  • them successfully and they are able to control many other different shades of meaning ... language syntax consistent knowledge representation technique is automated knowledge acquisition: computer-aided textual data base ... based on a novel and interesting synthesis of the two traditional logic schools, the Stoic...
  • metagear

  • Referenced in 0 articles [sw18370]
  • package metagear. Comprehensive Research Synthesis Tools for Systematic Reviews and Meta- Analysis. Functionalities for facilitating ... assess inter- reviewer reliability; tools to help automate the download and retrieval of journal ... extractions from PDFs; web scraping of citations; automated and manual data extraction from scatter-plot ... sizes (e.g., effect sizes with a common control); and finally summaries that replicate analyses...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Coq

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

  • Referenced in 65 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...
  • Dafny

  • Referenced in 73 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • GAP

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

  • Referenced in 767 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

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

  • Referenced in 443 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...