Login / Signup
Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker.
Dirk Beyer
Karlheinz Friedberger
Published in:
ISoLA (1) (2020)
Keyphrases
</>
multi threaded
java programs
operating system
fine grained
low complexity
efficient implementation