Matches in SemOpenAlex for { <https://semopenalex.org/work/W2043907610> ?p ?o ?g. }
- W2043907610 endingPage "344" @default.
- W2043907610 startingPage "331" @default.
- W2043907610 abstract "Formal verification aims to improve the quality of software by detecting errors before they do harm. At the basis of formal verification is the logical notion of correctness, which purports to capture whether or not a program behaves as desired. We suggest that the boolean partition of software into correct and incorrect programs falls short of the practical need to assess the behavior of software in a more nuanced fashion against multiple criteria. We therefore propose to introduce quantitative fitness measures for programs, specifically for measuring the function, performance, and robustness of reactive programs such as concurrent processes. This article describes the goals of the ERC Advanced Investigator Project QUAREM. The project aims to build and evaluate a theory of quantitative fitness measures for reactive models. Such a theory must strive to obtain quantitative generalizations of the paradigms that have been success stories in qualitative reactive modeling, such as compositionality, property-preserving abstraction and abstraction refinement, model checking, and synthesis. The theory will be evaluated not only in the context of software and hardware engineering, but also in the context of systems biology. In particular, we will use the quantitative reactive models and fitness measures developed in this project for testing hypotheses about the mechanisms behind data from biological experiments." @default.
- W2043907610 created "2016-06-24" @default.
- W2043907610 creator A5080555605 @default.
- W2043907610 date "2013-10-05" @default.
- W2043907610 modified "2023-10-09" @default.
- W2043907610 title "Quantitative reactive modeling and verification" @default.
- W2043907610 cites W1484364085 @default.
- W2043907610 cites W1492674724 @default.
- W2043907610 cites W1494274610 @default.
- W2043907610 cites W1498004481 @default.
- W2043907610 cites W1512383952 @default.
- W2043907610 cites W1535517661 @default.
- W2043907610 cites W1565007974 @default.
- W2043907610 cites W1586805319 @default.
- W2043907610 cites W1597655219 @default.
- W2043907610 cites W1623281517 @default.
- W2043907610 cites W1728602962 @default.
- W2043907610 cites W1757114815 @default.
- W2043907610 cites W1786377004 @default.
- W2043907610 cites W1829319030 @default.
- W2043907610 cites W1839854015 @default.
- W2043907610 cites W1876483187 @default.
- W2043907610 cites W1973110798 @default.
- W2043907610 cites W1983350265 @default.
- W2043907610 cites W1986397618 @default.
- W2043907610 cites W1988808695 @default.
- W2043907610 cites W1991224384 @default.
- W2043907610 cites W2011835017 @default.
- W2043907610 cites W2015172530 @default.
- W2043907610 cites W2026128612 @default.
- W2043907610 cites W2026824634 @default.
- W2043907610 cites W2027671360 @default.
- W2043907610 cites W2071103858 @default.
- W2043907610 cites W2076087052 @default.
- W2043907610 cites W2090847457 @default.
- W2043907610 cites W2095602520 @default.
- W2043907610 cites W2104626020 @default.
- W2043907610 cites W2110119905 @default.
- W2043907610 cites W2114296561 @default.
- W2043907610 cites W2114724402 @default.
- W2043907610 cites W2118039525 @default.
- W2043907610 cites W2127574686 @default.
- W2043907610 cites W2138519564 @default.
- W2043907610 cites W2141670510 @default.
- W2043907610 cites W2145986688 @default.
- W2043907610 cites W2149827235 @default.
- W2043907610 cites W2155418451 @default.
- W2043907610 cites W2160781056 @default.
- W2043907610 cites W2167722250 @default.
- W2043907610 cites W2173213060 @default.
- W2043907610 cites W2610777504 @default.
- W2043907610 cites W2912461213 @default.
- W2043907610 cites W2912904668 @default.
- W2043907610 cites W2914000465 @default.
- W2043907610 cites W4211007335 @default.
- W2043907610 cites W4236251966 @default.
- W2043907610 cites W59365162 @default.
- W2043907610 doi "https://doi.org/10.1007/s00450-013-0251-7" @default.
- W2043907610 hasPubMedCentralId "https://www.ncbi.nlm.nih.gov/pmc/articles/4811300" @default.
- W2043907610 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/27069511" @default.
- W2043907610 hasPublicationYear "2013" @default.
- W2043907610 type Work @default.
- W2043907610 sameAs 2043907610 @default.
- W2043907610 citedByCount "32" @default.
- W2043907610 countsByYear W20439076102014 @default.
- W2043907610 countsByYear W20439076102015 @default.
- W2043907610 countsByYear W20439076102016 @default.
- W2043907610 countsByYear W20439076102017 @default.
- W2043907610 countsByYear W20439076102018 @default.
- W2043907610 countsByYear W20439076102019 @default.
- W2043907610 countsByYear W20439076102020 @default.
- W2043907610 countsByYear W20439076102021 @default.
- W2043907610 countsByYear W20439076102022 @default.
- W2043907610 countsByYear W20439076102023 @default.
- W2043907610 crossrefType "journal-article" @default.
- W2043907610 hasAuthorship W2043907610A5080555605 @default.
- W2043907610 hasBestOaLocation W20439076101 @default.
- W2043907610 hasConcept C104317684 @default.
- W2043907610 hasConcept C110251889 @default.
- W2043907610 hasConcept C111498074 @default.
- W2043907610 hasConcept C115903868 @default.
- W2043907610 hasConcept C121375916 @default.
- W2043907610 hasConcept C151730666 @default.
- W2043907610 hasConcept C154945302 @default.
- W2043907610 hasConcept C185592680 @default.
- W2043907610 hasConcept C199360897 @default.
- W2043907610 hasConcept C2777904410 @default.
- W2043907610 hasConcept C2779343474 @default.
- W2043907610 hasConcept C41008148 @default.
- W2043907610 hasConcept C55439883 @default.
- W2043907610 hasConcept C55493867 @default.
- W2043907610 hasConcept C63479239 @default.
- W2043907610 hasConcept C75606506 @default.
- W2043907610 hasConcept C80444323 @default.
- W2043907610 hasConcept C86803240 @default.
- W2043907610 hasConceptScore W2043907610C104317684 @default.
- W2043907610 hasConceptScore W2043907610C110251889 @default.
- W2043907610 hasConceptScore W2043907610C111498074 @default.