Verifying Multi−threaded Software with Impact

مواد مشابهة

• Verifying multi-threaded software with impact
  حسب: Wachter, B, وآخرون
  منشور في: (2013)
• Verified software: theories, tools and experiments.
  حسب: Kroening, D, وآخرون
  منشور في: (2010)
• Lost in abstraction: monotonicity in multi-threaded programs
  حسب: Kaiser, A, وآخرون
  منشور في: (2016)
• Lost in abstraction: monotonicity in multi-threaded programs
  حسب: Kaiser, A, وآخرون
  منشور في: (2014)
• The ideal of verified software
  حسب: Hoare, T
  منشور في: (2006)