Modeling lessons from verifying large software systems for safety and security.

Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi, Jon Mathews

Browse the full WSC paper archive.