Automatic Selection of Verification Tools for Efficient Analysis of Biochemical Models
Yes === Motivation: Formal verification is a computational approach that checks system correctness (in relation to a desired functionality). It has been widely used in engineering applications to verify that systems work correctly. Model checking, an algorithmic approach to verification, looks at wh...
Main Authors: | , , , , |
---|---|
Language: | en |
Published: |
2018
|
Subjects: | |
Online Access: | http://hdl.handle.net/10454/15885 |