Results 21 to 40 of 1080
Sort by:

  • 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...