Travelled to:2 × USA
Collaborated with:∅ T.Redmond
Talks about:implement (1) incorpor (1) hierarch (1) modular (1) correct (1) method (1) direct (1) verif (1) proof (1) degre (1)
Person: Leo Marcus
DBLP: Marcus:Leo
Contributed to:
1994
1988Wrote 2 papers:
- ISSTA-1994-Marcus #composition #correctness #testing #verification
- The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (LM), p. 197.
- CADE-1988-MarcusR #automation #implementation #proving
- Two Automated Methods in Implementation Proofs (LM, TR), pp. 622–642.