Travelled to:1 × USA
Collaborated with:P.K.Nalla J.Ruf R.J.Weiss T.Kropf W.Rosenstiel
Talks about:properti (1) symbol (1) falsif (1) check (1) bound (1) fast (1) base (1)
Person: Prakash Mohan Peranandam
DBLP: Peranandam:Prakash_Mohan
Contributed to:
2006Wrote 1 papers:
- DAC-2006-PeranandamNRWKR #bound #performance
- Fast falsification based on symbolic bounded property checking (PMP, PKN, JR, RJW, TK, WR), pp. 1077–1082.