On Thu, Feb 17, 2022 at 06:18:03PM +, Klemens Nanni wrote:
> On Thu, Feb 17, 2022 at 02:31:10PM +, Klemens Nanni wrote:
> > On Thu, Feb 17, 2022 at 03:12:13PM +0100, Marc Espie wrote:
> > > Spot is very specific, it's a C++17 library for verification software
> > > (mostly involved with
On Thu, Feb 17, 2022 at 02:31:10PM +, Klemens Nanni wrote:
> On Thu, Feb 17, 2022 at 03:12:13PM +0100, Marc Espie wrote:
> > Spot is very specific, it's a C++17 library for verification software
> > (mostly involved with infinite automata and their property, the HOMEPAGE
> > would be much
On Thu, Feb 17, 2022 at 03:12:13PM +0100, Marc Espie wrote:
> Spot is very specific, it's a C++17 library for verification software
> (mostly involved with infinite automata and their property, the HOMEPAGE
> would be much better at providing examples than me)
>
> It's developed in the lab next