Implementing verification of concurrent systems using Binary Decision Diagrams
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 prov...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Uppsala universitet, Institutionen för informationsteknologi
2012
|
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-181783 |
| id |
ndltd-UPSALLA1-oai-DiVA.org-uu-181783 |
|---|---|
| record_format |
oai_dc |
| spelling |
ndltd-UPSALLA1-oai-DiVA.org-uu-1817832013-01-08T13:44:14ZImplementing verification of concurrent systems using Binary Decision DiagramsengSävström, TomasUppsala universitet, Institutionen för informationsteknologi2012Verification 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. Student thesisinfo:eu-repo/semantics/bachelorThesistexthttp://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-181783IT ; 12 036application/pdfinfo:eu-repo/semantics/openAccess |
| collection |
NDLTD |
| language |
English |
| format |
Others
|
| sources |
NDLTD |
| description |
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. |
| author |
Sävström, Tomas |
| spellingShingle |
Sävström, Tomas Implementing verification of concurrent systems using Binary Decision Diagrams |
| author_facet |
Sävström, Tomas |
| author_sort |
Sävström, Tomas |
| title |
Implementing verification of concurrent systems using Binary Decision Diagrams |
| title_short |
Implementing verification of concurrent systems using Binary Decision Diagrams |
| title_full |
Implementing verification of concurrent systems using Binary Decision Diagrams |
| title_fullStr |
Implementing verification of concurrent systems using Binary Decision Diagrams |
| title_full_unstemmed |
Implementing verification of concurrent systems using Binary Decision Diagrams |
| title_sort |
implementing verification of concurrent systems using binary decision diagrams |
| publisher |
Uppsala universitet, Institutionen för informationsteknologi |
| publishDate |
2012 |
| url |
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-181783 |
| work_keys_str_mv |
AT savstromtomas implementingverificationofconcurrentsystemsusingbinarydecisiondiagrams |
| _version_ |
1716527611846328320 |