Slide 1Design and analysis of DNA strand displacement devices using probabilistic model checking by Matthew R. Lakin, David Parker, Luca Cardelli, Marta Kwiatkowska, and…