`Travelled to:`

1 × Canada

4 × USA

`Collaborated with:`

R.B.Jones C.H.Seger H.I.Shehata M.Leeser R.Kaivola K.R.Kohatsu

`Talks about:`

verifi (2) verif (2) microprocessor (1) trajectori (1) decomposit (1) constraint (1) represent (1) algorithm (1) synthesi (1) strategi (1)

## Person: Mark Aagaard

### DBLP: Aagaard:Mark

### Contributed to:

### Wrote 5 papers:

- DAC-2004-ShehataA #composition #verification
- A general decomposition strategy for verifying register renaming (HIS, MA), pp. 234–237.
- DAC-2000-AagaardJKKS #algorithm #verification
- Formal verification of iterative algorithms in microprocessors (MA, RBJ, RK, KRK, CJHS), pp. 201–206.
- DAC-1999-AagaardJS #constraints #parametricity
- Parametric Representations of Boolean Constraints (MA, RBJ, CJHS), pp. 402–407.
- DAC-1998-AagaardJS #evaluation #industrial #proving #theorem proving
- Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment (MA, RBJ, CJHS), pp. 538–541.
- CAV-1992-AagaardL #case study #logic #synthesis #verification
- Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification (MA, ML), pp. 69–81.