V

verifying-dna-computing-protocols

Project information

A verification of DNA strand displacement systems with leaks via probabilistic model checkers. DNA reactions were modeled with Visual DSD; protocols were verified via PRISM; statistical analyses were performed using R.

6 Commits
1 Branch
0 Tags

README
MIT License

Created on

July 17, 2018

Loading