
MATISSE
 Referenced in 27 articles
[sw06311]
 framework of abstracting linear systems using approximate bisimulation relations [1,2,3,4]. Contrary ... language inclusion or exact bisimulation relations, approximate bisimulation relations do not require the behavior ... abstraction to be exactly the same. Approximate bisimulation relations aim in capturing the most significant ... given by the precision of the approximate bisimulation. This precision notably provides a bound...

BFComp
 Referenced in 3 articles
[sw18654]
 decidability over the reals, to compute Bisimulation Functions (BFs) that characterize InputtoOutput Stability ... replacedwith bounded errorby an approximately equivalent abstraction, thereby enabling approximate modelorder reduction...

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

Isabelle
 Referenced in 698 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

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

NetworkX
 Referenced in 159 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

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

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

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

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

SPIN
 Referenced in 723 articles
[sw03455]
 Spin is a popular opensource software tool...

PVS
 Referenced in 629 articles
[sw03484]
 PVS is a verification system: that is, a...

Haskell
 Referenced in 879 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

SeDuMi
 Referenced in 1272 articles
[sw04002]
 SeDuMi is a Matlab toolbox for solving optimization...

CPLEX
 Referenced in 2766 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

HyTech
 Referenced in 331 articles
[sw04125]
 HyTech is an automatic tool for the analysis...

MRMC
 Referenced in 71 articles
[sw04129]
 The ins and outs of the probabilistic model...