Travelled to:1 × Austria
1 × France
1 × Germany
Collaborated with:T.Kim S.D.Cha S.Stepney I.Wand S.Owre J.M.Rushby N.Shankar
Talks about:pvs (3) use (2) properti (1) function (1) softwar (1) specif (1) requir (1) report (1) formal (1) experi (1)
Person: David W. J. Stringer-Calvert
DBLP: Stringer-Calvert:David_W=_J=
Contributed to:
2002
19981997Wrote 3 papers:
- TACAS-2002-KimSC #functional #requirements #specification #using #verification
- Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS (TK, DWJSC, SDC), pp. 205–220.
- FM-1998-OwreRSS #case study #experience #named
- PVS: An Experience Report (SO, JMR, NS, DWJSC), pp. 338–345.
- FME-1997-Stringer-CalvertSW #case study #refinement #using
- Using PVS to Prove a Z Refinement: A Case Study (DWJSC, SS, IW), pp. 573–588.