Runtime Verification
Publication Date: 2007
ISBN: 978-3-540-77395-5
Internet Resource: Please Login to download book
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal verifcation methods as model checking. In 2007, the workshop was held on March 13, 2007 in Vancouver, British Columbia, Canada, co-located to the Conference on Aspect-Oriented Software Development (AOSD) in order to explore the emerging connections between the two communities.
Subject: Computer Science, Aspect-oriented programming, Open-Source, Variable, abstract state machines, aspect oriented programming, automated testing, correct systems design, domain specific language, fault diagnosis, finite state machines, interactive testing, object oriented design, programming, semantics, verification
