Travelled to:2 × Germany
Collaborated with:J.Bicarregui T.Wilson R.G.Clark M.Calder C.Shankland
Talks about:verif (3) configur (1) approach (1) softwar (1) omnibus (1) flexibl (1) specif (1) polici (1) assert (1) refin (1)
Person: Savi Maharaj
DBLP: Maharaj:Savi
Contributed to:
2005
2001
1997Wrote 3 papers:
- SEFM-2005-WilsonMC #approach #configuration management #flexibility #policy #verification
- Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification (TW, SM, RGC), pp. 150–159.
- FME-2001-CalderMS #logic
- An Adequate Logic for Full LOTOS (MC, SM, CS), pp. 384–395.
- ASE-1997-MaharajB #on the #refinement #specification #verification
- On the Verification of VDM Specification and Refinement with PVS (SM, JB), p. 280–?.