• pFaces

  • Referenced in 3 articles [sw30630]
  • parallel algorithms are designed for abstraction-based controller synthesis. Then, they are implemented inside pFaces...
  • SENSE

  • Referenced in 1 article [sw30632]
  • SENSE: Abstraction-Based Synthesis of Networked Control Systems. While many studies and tools target...
  • StocHy

  • Referenced in 3 articles [sw36937]
  • Abstractions are then employed for (ii) formal verification or (iii) control (policy, strategy) synthesis. StocHy ... modelling, and has separate simulation, verification and synthesis engines, which are implemented as independent libraries ... implemented in C++ and employs manipulations based on vector calculus, the use of sparse matrices ... markedly improved performance when compared to existing abstraction-based approaches: in particular, StocHy beats state...
  • Sostools

  • Referenced in 289 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • BLAST

  • Referenced in 129 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...
  • CPAchecker

  • Referenced in 54 articles [sw07408]
  • Cpachecker with sequential combination of explicit-state analysis...
  • UFO

  • Referenced in 23 articles [sw09570]
  • Ufo: A Framework for Abstraction- and Interpolation-Based...
  • CoSyma

  • Referenced in 12 articles [sw20124]
  • CoSyma: a tool for controller synthesis using multi...
  • SCOTS

  • Referenced in 20 articles [sw20172]
  • SCOTS: a tool for the synthesis of symbolic...
  • FAUST2

  • Referenced in 14 articles [sw23682]
  • FAUST2 is a software tool that generates formal...
  • ROCS

  • Referenced in 5 articles [sw28114]
  • ROCS: a robustly complete control synthesis tool for...