• PARSEC

  • Referenced in 26 articles [sw09610]
  • includes emerging applications in recognition, mining and synthesis (RMS) as well as systems applications which...
  • Acacia+

  • Referenced in 15 articles [sw25260]
  • tool for LTL realizability and synthesis, based on symbolic antichain techniques. Acacia+ is extended ... synthesis from LTL specifications with secondary mean-payoff objectives. NEW! Acacia+ contains a new feature ... synthesis of the optimal strategy in a stochastic environment among a set of winning strategies...
  • ROSETTA

  • Referenced in 24 articles [sw10969]
  • tools and programming environments for process-oriented synthesis of logic programs...
  • Lambda-Clam

  • Referenced in 24 articles [sw19614]
  • problem is outlined, in particular the synthesis and verification of software and hardware systems...
  • VIS

  • Referenced in 17 articles [sw40003]
  • Verification Interacting with Synthesis) is a system for formal verification, synthesis, and simulation of finite...
  • E-CELL

  • Referenced in 23 articles [sw07917]
  • transcription, translation, energy production and phospholipid synthesis. Most of the genes are taken from Mycoplasma...
  • PESSOA

  • Referenced in 22 articles [sw20123]
  • Pessoa 2.0: a controller synthesis tool for cyber-physical systems. We introduce Pessoa...
  • PROPhESY

  • Referenced in 13 articles [sw33602]
  • PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. We present PROPhESY, a tool for analyzing parametric Markov ... conditional probabilities. PROPhESY supports incremental automatic parameter synthesis (using SMT techniques) to determine “safe ... supporting visualization and user-guided parameter synthesis. Experimental results show that PROPhESY scales...
  • MCGP

  • Referenced in 15 articles [sw00562]
  • generating and correcting code, based on our synthesis approach combining deep Model Checking and Genetic ... their effect on the convergence of the synthesis process...
  • PRISM-games

  • Referenced in 21 articles [sw12934]
  • which supports modelling, automated verification and strategy synthesis for probabilistic systems with competitive or cooperative...
  • RACT

  • Referenced in 20 articles [sw06924]
  • Matlab toolbox for probabilistic analysis and synthesis of control systems affected by various uncertainty structures...
  • ROLMIP

  • Referenced in 19 articles [sw21158]
  • arise, for example, on the analysis and synthesis conditions related to uncertain continuous or discrete...
  • Glow

  • Referenced in 13 articles [sw34245]
  • inference, and parallelizability of both training and synthesis. In this paper we propose Glow ... objective is capable of efficient realistic-looking synthesis and manipulation of large images. The code...
  • CoSyma

  • Referenced in 12 articles [sw20124]
  • CoSyma: a tool for controller synthesis using multi-scale abstractions. We introduce CoSyMA, a tool ... automatic controller synthesis for incrementally stable switched systems based on multi-scale discrete abstractions...
  • Metropolis

  • Referenced in 17 articles [sw16265]
  • design that supports simulation, formal analysis, and synthesis...
  • MEGAN

  • Referenced in 17 articles [sw33189]
  • clones, or environmental assemblies. Emerging sequencing-by-synthesis technologies with very high throughput are paving...
  • Giotto

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

  • Referenced in 11 articles [sw14906]
  • AWAST: The Anti-Windup Analysis & Synthesis Toolbox. This Toolbox contains a set of user-friendly ... implementation of recent analysis and synthesis results dedicated to saturated systems...
  • miz3

  • Referenced in 11 articles [sw18631]
  • synthesis of the procedural and declarative styles of interactive theorem proving. We propose a synthesis...
  • SYNTHESIS

  • Referenced in 8 articles [sw00944]
  • SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. SYNTHESIS ... automatically synthesize the correct composition code, SYNTHESIS takes as input an high-level behavioural description ... specified interactions. The current version of SYNTHESIS supports two possible development platforms: Microsoft COM/DCOM...