
MATISSE
 Referenced in 25 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 1784 articles
[sw00161]
 Coq is a formal proof management system. It...

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

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

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

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

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

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

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

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

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

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

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

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

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

NuSMV
 Referenced in 295 articles
[sw04131]
 NuSMV is a symbolic model checker developed as...