A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker.

Dirk Beyer Karlheinz Friedberger

Published in: MEMICS (2016)

Keyphrases

lightweight
multi threaded
operating system
multi core processors
information flow
computer architecture
real time
multithreading
wireless sensor networks
computer programs
genetic algorithm
scheduling problem
graphical models
fine grained
low complexity
communication infrastructure