Travelled to:
1 × Denmark
Collaborated with:
∅
Talks about:
theorem (1) pipelin (1) complex (1) formal (1) combin (1) verif (1) prove (1) order (1) model (1) check (1)
Person: Christian Jacobi 0002
DBLP: 0002:Christian_Jacobi
Contributed to:
Wrote 1 papers:
- CAV-2002-Jacobi #model checking #pipes and filters #verification
- Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving (CJ0), pp. 309–323.