A Method for Verifying Real-Time Properties of Ada Programs.

Thorsten Gerdsmeier, Rachel Cardell-Oliver

Browse the full ICECCS paper archive.