Real Time is Really Simple

It is easy to write and verify real-time specifications with existing languages and methods; one just represents time as an ordinaryvariable. The resulting specifications can be verified with ordinary model checkers. This basic idea and some less obvious details are explained with simple examples.

tr-2005-30.pdf
PDF file

Details

TypeTechReport
NumberMSR-TR-2005-30
Pages72
InstitutionMicrosoft Research
> Publications > Real Time is Really Simple