scientific article; zbMATH DE number 2080059

zbMath1043.68534MaRDI QIDQ4472252

Klaus Havelund, Grigore Roşu

Publication date: 4 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2280/22800342.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Efficient Runtime Verification of First-Order Temporal Properties, Foundations of Boolean stream runtime verification, Spanning the spectrum from safety to liveness, A brief account of runtime verification, Provably correct runtime monitoring, Monitoring first-order interval logic, On monitoring linear temporal properties, Quantitative safety and liveness, Assumption-based runtime verification, Enforcement and validation (at runtime) of various notions of opacity, From LTL to rLTL monitoring: improved monitorability through robust semantics, Linear Time Monitoring for One Variable TPTL, Runtime verification of real-time event streams using the tool HStriver, Safer asynchronous runtime monitoring using compensations, First-order temporal logic monitoring with BDDs, Runtime verification of embedded real-time systems, Multi-head Monitoring of Metric Temporal Logic, Almost Event-Rate Independent Monitoring of Metric Temporal Logic, Time-triggered runtime verification, Almost event-rate independent monitoring, Extended Nested Dual System Groups, Revisited, Checking Temporal Properties of Discrete, Timed and Continuous Behaviors, Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL, Matching Trace Patterns with Regular Policies, A formally verified, optimized monitor for metric first-order dynamic logic

Uses Software

• Maude
• Java PathFinder
• JPAX