Runtime Verification in Real-Time with the Copilot Language: A Tutorial.

Ivan Perez, Alwyn E. Goodloe, Frank Dedden

Browse the full FM paper archive.