Popular repositories Loading

1. impara impara Public

   model checker for concurrent programs

   C++ 1 1

2. impara-benchexec impara-benchexec Public

   Benchexec wrapper for Impara

   Python

3. benchexec benchexec Public

   Forked from sosy-lab/benchexec

   BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

   Python

4. minauto minauto Public

   Minimization of Probabilistic Automata

   C++ 1

5. AMQP-CPP AMQP-CPP Public

   Forked from CopernicaMarketingSoftware/AMQP-CPP

   C++ library for asynchronous non-blocking communication with RabbitMQ

   C++