Rule-Based Runtime Verification

Bibliographic Data

ID23600693
AuthorsHoward Barringer (University of Manchester), Allen Goldberg (Ames Research Center), Klaus Havelund (0000-0001-7079-0472, Ames Research Center), Koushik Sen (0000-0002-5679-9603, University of Illinois Urbana-Champaign)
Year2004
Pages44-57
Publication date2004-01-01
Open AccessNo
TypeCHAPTER
VenueVerification, Model Checking, and Abstract Interpretation (SOURCE_BOOK)
PublisherSpringer Berlin Heidelberg (PUBLISHER)
DOI10.1007/978-3-540-24622-0_5
OpenAlexW1825341937
ISBN9783540246220
LanguageEN
References cited16

Tools

Open DOISci-HubLibgen