`Travelled to:`

1 × Italy

5 × USA

`Collaborated with:`

E.M.Clarke J.Y.Halpern A.P.Sistla ∅ R.E.Bryant M.N.Velev X.Zhao

`Talks about:`

logic (2) equal (2) uninterpret (1) algorithm (1) techniqu (1) function (1) theorem (1) process (1) languag (1) exploit (1)

## Person: Steven M. German

### DBLP: German:Steven_M=

### Contributed to:

### Wrote 6 papers:

- CAV-1999-BryantGV #logic #similarity
- Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions (REB, SMG, MNV), pp. 470–482.
- CAV-1996-ClarkeGZ #algorithm #proving #theorem proving #using #verification
- Verifying the SRT Division Algorithm Using Theorem Proving Techniques (EMC, SMG, XZ), pp. 111–122.
- LICS-1987-SistlaG #process #reasoning
- Reasoning with Many Processes (APS, SMG), pp. 138–152.
- LICS-1986-GermanCH #axiom
- True Relative Completeness of an Axiom System for the Language L4 (Abridged) (SMG, EMC, JYH), pp. 11–25.
- POPL-1982-ClarkeGH #axiom #effectiveness #hoare #logic #on the
- On Effective Axiomatizations of Hoare Logics (EMC, SMG, JYH), pp. 309–321.
- POPL-1978-German #automation #fault #proving #runtime
- Automating Proofs of the Absence of Common Runtime Errors (SMG), pp. 105–118.