Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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
2012.
Series
IT, 12 036
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:uu:diva-181783OAI: oai:DiVA.org:uu-181783DiVA: diva2:557614
Educational program
Bachelor Programme in Computer Science
Uppsok
Technology
Supervisors
Examiners
Available from: 2012-09-28 Created: 2012-09-28 Last updated: 2012-09-28Bibliographically approved

Open Access in DiVA

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

By organisation
Department of Information Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 213 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

urn-nbn

Altmetric score

urn-nbn
Total: 599 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf