Part of the Lecture Notes in Computer Science book series (LNCS, volume 2529)
Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams
We introduce an on-going work that tries to develop a technique for the verification of synchronization issues in SpecC language,a C-based system level description language. It is summarized as followed.
KeywordsOperating System Communication Network Software Engineer Related Statement Electronic Engineer
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
© Springer-Verlag Berlin Heidelberg 2002