Formal Verification of a Microfluidic Device for Blood Cell Separation.

Amjad Gawanmeh Anas Alazzam Bobby Mathew

Published in: Scalable Comput. Pract. Exp. (2016)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
program slicing
object oriented
low cost
open source
fuzzy sets
automated reasoning