Slides of My Presentation on The Concurrency Workbench
Posted by: Keyvan Nayyeri,
on 26 Oct 2011 |
View original | Bookmarked: 0 time(s)
Nowadays, its the presentation season for me and Im doing different presentations every week. Today I had a technical presentation in our software verification class based on an old paper published in early 90s on the concurrency workbench: a semantics-based tool for the verification of concurrent systems. Although its more common these days due to the new trends in computer architecture, concurrency programs existed back in those days and the verification of such systems was also a common goal....