# Counterexample searches in Spot

### From LRDE

- Authors
- Clément Gillard
- Type
- techreport
- Year
- 2019
- Number
- 1903

## Abstract

Spot is an **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega}**
-automata manipulation library who aims to help doing **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega}**
-automata-theoretic approach to model checking or develop tools for **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega}**
-automata transformation. As such, it provides many algorithms, with many different implementations depending of the specificities of each