University of Illinois / NASA Ames Research Center / Kestrel Technology NASA Ames Research Center / /
IndustryTerm
runtime monitoring tool / program analysis algorithm / bytecode engineering tool / faster algorithms / path exploration tool / monitorsynthesis algorithm / internal algorithms / arbitrary systems / software engineers / reactive and concurrent systems / pre-processor / software developers / dynamic programming algorithms / web server / runtime monitoring algorithm / real time applications / subsequent algorithms / software systems / /
NaturalFeature
Safety Properties falls / /
Organization
University of Illinois / National Science Foundation / Department of Computer Science / NASA Ames Research Center / National Aeronautics and Space Administration / Kestrel Technology NASA Ames Research Center / /
Person
B . Klaus Havelund / Klaus Havelund / /
Position
editor / /
Product
Maude / /
ProgrammingLanguage
Java / Java bytecode / C / C++ / /
ProvinceOrState
Illinois / /
Technology
subsequent algorithms / program analysis algorithm / following algorithm / internal algorithms / dynamic programming algorithms / Java / rewriting algorithm / synthesis-based algorithm / rewriting-based algorithm / even faster algorithms / 1 2 Kestrel Technology / runtime monitoring algorithm / second algorithm / monitorsynthesis algorithm / rewriting monitoring algorithm / operating systems / Safety Properties The rewriting algorithm / web server / /
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Efficient Monitoring of Safety Properties Klaus Havelund1 , Grigore Ro¸su2? 1