Publication | Open Access

Many-core on-the-fly model checking of safety properties using GPUs