jpf−concurrent: an extension of Java PathFinder for java.util.concurrent

類似資料

• Automatic Handling of Native Methods in Java PathFinder
  著者:: Shafiei, N, 等
  出版事項: (2014)
• Überwachung von Java−Programmen mittels Java PathFinder
  著者:: Fruth, M
  出版事項: (2002)
• JPF−AWT: Model Checking GUI Applications
  著者:: Mehlitz, P, 等
  出版事項: (2011)
• Java concurrency in practice /
  著者:: Goetz, Brian
  出版事項: (2006)
• Refactoring for Java-Structured Concurrency
  著者:: Yang Zhang, 等
  出版事項: (2025-02-01)