Back to Results
First PageMeta Content
Automata theory / Logic in computer science / Formal methods / Models of computation / Temporal logic / Linear temporal logic / Formal verification / Runtime verification / Model checking / Theoretical computer science / Logic / Mathematical logic


Runtime Verification for LTL and TLTL ANDREAS BAUER NICTA and Australian National University MARTIN LEUCKER Technische Universit¨at M¨ unchen
Add to Reading List

Document Date: 2012-10-30 05:38:35

Open Document

File Size: 714,70 KB

Share Result on Facebook

Company

ACM Inc. / /

Currency

USD / LTL / /

/

Event

Product Recall / Product Issues / /

IndustryTerm

large number different runtime verification systems / copyright/server / conventional model checking algorithms / box systems / synthethis algorithms / recent applications / runtime verification applications / online monitoring / real-time systems / actual systems / web services / runtime verification systems / /

Organization

National Basketball Association / Australian National University / /

Person

CHRISTIAN SCHALLHART / ANDREAS BAUER NICTA / MARTIN LEUCKER / /

Position

Programs General / /

Product

standard TLTL syntax / standard LTL syntax / /

ProgrammingLanguage

AspectJ / C++ / /

SportsEvent

NBA / /

Technology

developing synthethis algorithms / finite state machine / conventional model checking algorithms / /

SocialTag