
TuLiP
 Referenced in 10 articles
[sw20173]
 based software toolbox for the synthesis of embedded control software that is provably correct with ... finite state abstraction of control systems, (2) digital design synthesis from LTL specifications ... underlying digital design synthesis routine treats the environment as adversary; hence, the resulting controller...

JBernstein
 Referenced in 2 articles
[sw19486]
 automated verification and synthesis tasks for hybrid systems, control algorithms, digital signal processors, and mixed...

pFaces
 Referenced in 3 articles
[sw30630]
 Then, using those abstractions, provablycorrect digital controllers are algorithmically synthesized for concrete systems, satisfying ... requirements. Unfortunately, the complexity of synthesizing such controllers grows exponentially in the number of state ... extensible softwareecosystem, to accelerate symbolic control techniques. It facilitates designing parallel algorithms and supervises ... algorithms are designed for abstractionbased controller synthesis. Then, they are implemented inside pFaces...

Coq
 Referenced in 1837 articles
[sw00161]
 Coq is a formal proof management system. It...

Dafny
 Referenced in 66 articles
[sw00183]
 Dafny is an imperative objectbased language with...

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

LAPACK
 Referenced in 1654 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Maple
 Referenced in 5220 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6129 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12721 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 549 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

R
 Referenced in 8904 articles
[sw00771]
 R is a language and environment for statistical...

SageMath
 Referenced in 1792 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1441 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

Sostools
 Referenced in 277 articles
[sw00891]
 We are pleased to introduce SOSTOOLS, a free...

PRISM
 Referenced in 424 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper...

ML
 Referenced in 517 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

Kronos
 Referenced in 273 articles
[sw01270]
 KRONOS is a tool developed with the aim...

Uppaal2k
 Referenced in 43 articles
[sw01595]
 Uppaal is an integrated tool environment for modeling...

Ada95
 Referenced in 292 articles
[sw01753]
 Ada is a structured, statically typed, imperative, wide...