Runtime Verification

Beschreibung

Unique visibility Fast-track conference proceedings State-of-the-art research

Autor*in

Howard Barringer

Themen in »Runtime Verification«

Debugging Simulation algorithm analysis dynamic program analysis embedded systems fault protection program understanding program validation runtime analysis runtime reflection specification languages structured analysis testing tracing verification

Stimmen zu »Runtime Verification«

Details

Link teilen