Change search
ReferencesLink to record
Permanent link

Direct link
Implementing verification of concurrent  systems using Binary Decision Diagrams
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2012 (English)Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

Verification of programs through the use of formal methods have become popular as it can guarantee the programs correct. Concurrent programs have always been hard to test because of the nature of the program, as these programs are used in many branches of the software industry formal methods to prove these programs correct have been developed.

In this report  one of these methods are first described and then implemented using Binary Decision Diagrams to see if this would lead to an optimization of the current implementation of the method.

Place, publisher, year, edition, pages
IT, 12 036
National Category
Engineering and Technology
URN: urn:nbn:se:uu:diva-181783OAI: diva2:557614
Educational program
Bachelor Programme in Computer Science
Available from: 2012-09-28 Created: 2012-09-28 Last updated: 2012-09-28Bibliographically approved

Open Access in DiVA

fulltext(505 kB)196 downloads
File information
File name FULLTEXT01.pdfFile size 505 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
Department of Information Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 196 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 380 hits
ReferencesLink to record
Permanent link

Direct link