Utah State University sites use cookies. By continuing to use this site you accept our privacy and cookie policy.
Skip to content
  • Apply
  • Visit
  • Give
  • Calendar
  • A-Z Index
  • Directory
  • Libraries
  • QUICK LINKS
  • MyUSU
  • SEARCH
Utah State University
Biological Engineering College of Engineering

Search Utah State University:

I want to search
UState logo
Biological Engineering
  • About
    About
    General Information
    • Vision & Mission Statement
    • Seminar Series
    • What is a Biological Engineer
    • BE to Me
    • Contact Us
    Achievements
    • Recognition
    • E-Week Awards
    Employee Resources
    • Room Reservations
    • Data Management Plan
    • Key Request
    Events
    • IBEC
    • REU
    • IBE External link
    • Department Events
  • Students
    Students
    Undergraduate
    • Program Overview
    • Program Requirements
    • Courses Offered
    • Accelerated BS/MS
    • Undergraduate Research
    • Scholarship Information
    • Senior Capstone Research Posters
    Graduate
    • Program Overview
    • Program Requirements
    • First Year Program of Study
    • Courses Offered
    • Graduate Assistantship, Scholarships, & Insurance
    • Graduate Students Policies & Procedure Guidelines
    • Graduate Student Flyer
    Current Students
    • Clubs & Organizations
    • ENGR 404 - Study Room
    • Advising Resources
    • Forms
    • Job Outlook
    • Careers
    • Employers of Alumni
    • Professor Locator
    • Employment Opportunities
    • Internships
    Future Students
    • Undergraduate Admissions
    • Graduate Admissions
    • Outreach Material
  • Research
    Research
    Research
    • Recent Research Advances
    • Faculty Research Summaries
    • Recently Funded
    • Centers
    • Federally Funded
    • Laboratories
    • Student Research
    • iGEM
    Miscellaneous
    • Lab Meeting Information
    • Video Gallery
    • Lab Safety
    • Environmental Health & Safety
    • Travel Resources
  • People
    People
    • All Personnel
    • Faculty
    • Staff
    • Industry Advisory Board
    • Graduate Students
    • Adjunct
    • Alumni
  • News
  • Assessment
    Assessment
      • Biological Engineering Undergraduate | ABET
      • Biological Engineering Undergraduate | NWCCU
      • Biological Engineering Graduate | NWCCU
  • Quick Links
    Quick Links
    • Apply
    • Visit
    • Give
    • Calendar
    • A-Z Index
    • Directory
    • Libraries
  • MyUSU
Vargis Lab
  • Research
    • Research Topics
    • Computational Simulations
  • Publications and Media
  • People
  • News

Links to Python Code and Associated Papers


GitHub Repository: https://github.com/formal-verification-research/plank

2021 Biological Senior Design Capstone Final Paper

Biological Engineering Department
FOLLOW US
  • Department Facebook
  • Department Instagram
  • Department LinkenIn

4105 Old Main Hill,
Logan, UT
84322-4105
(435) 797-2793

Accreditation

The Biological Engineering program is accredited by the Engineering Accreditation Commission of ABET, http://www.abet.org

  • Differential Tuition
  • Contact
Utah State University
  • Maps & Directions
  • Search USU
  • Campus Safety
  • Jobs
  • Contact
  • Terms of Use
  • Copyright
  • Privacy
  • Accessibility
  • Non-Discrimination
  • Admin
Back to top of the page