عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
TL48726
انگلیسی
Formal Verification of Nonlinear Biological Systems
[Thesis]
Md Ariful Islam
Smolka, Scott A.
State University of New York at Stony Brook
2015
105
Committee members: Grosu, Radu; Mita, Sayan; Tannenbaum, Allen
Place of publication: United States, Ann Arbor; ISBN=978-1-339-47621-6
Ph.D.
Computer Science
State University of New York at Stony Brook
2015
Abstraction and composition have proved to be particularly useful in extending the reach of formal verification. Abstraction reduces the size of the system under investigation by neglecting details irrelevant to the properties of interest. Compositionality allows us to decompose large-scale system into smaller components and verify each component individually and reason about the verification of entire system from verified components. Together, these two techniques permit us to substitute a component with its equivalent abstraction such that the overall system retains the property of interest.
Computer science
Applied sciences;C. elegans;Cardiac electrophysiology;Compositional reasoning;Formal verification;Nonlinear system;Reachability analysis
Al-Ansari, Banan Ahmed
Smolka, Scott A.
Computer Science
State University of New York at Stony Brook
1785084017; 10012670
مطالعه متن کتاب p
[Thesis]
276903
a
Y
