With so many software-related failures happening these days, there is an increasing demand for software quality. Rigorous development approaches, which apply mathematical techniques to the design and implementation, should ...
A process for rigorous inspection of concurrent systems using tabular specification was developed and applied to the classic Readers/Writers concurrent program by Jin in [15]. The process involved rewriting the program ...