Login / Signup
Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction.
Vladimir Herdt
Hoang M. Le
Daniel Große
Rolf Drechsler
Published in:
Int. J. Softw. Tools Technol. Transf. (2019)
Keyphrases
</>
multi threaded
partial order reduction
model checking
petri net
operating system
information flow
multithreading
real time
multi core processors
high level
computer architecture
neural network
general purpose
computer systems
fine grained
computer programs
genetic algorithm