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 |