Login / Signup

A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications.

Beata Sarna-StarostaR. E. Kurt StirewaltLaura K. Dillon
Published in: Int. J. Softw. Eng. Knowl. Eng. (2007)
Keyphrases
  • multi threaded
  • artificial intelligence
  • model checking
  • computer architecture
  • real time
  • information systems
  • computer science
  • operating system
  • smart card
  • distributed databases