Framework for Analyzing Highly Concurrent Algorithms in SPIN
Human beings have gradually become dependent on computers, and more specifically, the software that they are working with. Most skillful programmers are working hard and spend much time testing or debugging their programs in order to make their software reliable. Verification techniques have been de...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Uppsala universitet, Institutionen för informationsteknologi
2011
|
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-152985 |