Login / Signup

Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker.

Dirk BeyerKarlheinz Friedberger
Published in: ISoLA (1) (2020)
Keyphrases
  • multi threaded
  • java programs
  • operating system
  • fine grained
  • low complexity
  • efficient implementation