عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
NATIONAL BIBLIOGRAPHY NUMBER
Number
TL48726
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal Verification of Nonlinear Biological Systems
General Material Designation
[Thesis]
First Statement of Responsibility
Md Ariful Islam
Subsequent Statement of Responsibility
Smolka, Scott A.
.PUBLICATION, DISTRIBUTION, ETC
Name of Publisher, Distributor, etc.
State University of New York at Stony Brook
Date of Publication, Distribution, etc.
2015
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
105
GENERAL NOTES
Text of Note
Committee members: Grosu, Radu; Mita, Sayan; Tannenbaum, Allen
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Place of publication: United States, Ann Arbor; ISBN=978-1-339-47621-6
DISSERTATION (THESIS) NOTE
Dissertation or thesis details and type of degree
Ph.D.
Discipline of degree
Computer Science
Body granting the degree
State University of New York at Stony Brook
Text preceding or following the note
2015
SUMMARY OR ABSTRACT
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Computer science
UNCONTROLLED SUBJECT TERMS
Subject Term
Applied sciences;C. elegans;Cardiac electrophysiology;Compositional reasoning;Formal verification;Nonlinear system;Reachability analysis
PERSONAL NAME - PRIMARY RESPONSIBILITY
Al-Ansari, Banan Ahmed
PERSONAL NAME - SECONDARY RESPONSIBILITY
Smolka, Scott A.
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Subdivision
Computer Science
State University of New York at Stony Brook
LOCATION AND CALL NUMBER
Call Number
1785084017; 10012670
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب p
[Thesis]
276903
a
Y
