Travelled to:1 × Canada
Collaborated with:R.Ghughal A.Mokkedem G.Gopalakrishnan
Talks about:model (2) multiprocessor (1) approach (1) memori (1) formal (1) verif (1) check (1) test (1)
Person: Ratan Nalumasu
DBLP: Nalumasu:Ratan
Contributed to:
1998Wrote 1 papers:
- CAV-1998-NalumasuGMG #approach #memory management #model checking #modelling #multi #verification
- The “Test Model-Checking” Approach to the Verification of Formal Memory Models of Multiprocessors (RN, RG, AM, GG), pp. 464–476.