`Travelled to:`

1 × Estonia

1 × Italy

1 × United Kingdom

2 × USA

`Collaborated with:`

C.Sinz S.Falke H.Post T.Gorges T.Kropf

`Talks about:`

model (3) llbmc (3) bound (3) contribut (2) competit (2) checker (2) llvm (2) represent (1) intermedi (1) function (1)

## Person: Florian Merz

### DBLP: Merz:Florian

### Contributed to:

### Wrote 5 papers:

- ASE-2013-FalkeMS #bound #model checking
- The bounded model checker LLBMC (SF, FM, CS), pp. 706–709.
- TACAS-2013-FalkeMS #bound #c #contest #model checking #named #source code #using
- LLBMC: Improved Bounded Model Checking of C Programs Using LLVM — (Competition Contribution) (SF, FM, CS), pp. 623–626.
- SMT-2012-FalkeSM #array #formal method #set
- A Theory of Arrays with set and copy Operations (SF, CS, FM), pp. 98–108.
- TACAS-2012-SinzMF #bound #contest #model checking #named #representation
- LLBMC: A Bounded Model Checker for LLVM’s Intermediate Representation — (Competition Contribution) (CS, FM, SF), pp. 542–544.
- RE-2009-PostSMGK #functional #requirements #verification
- Linking Functional Requirements and Software Verification (HP, CS, FM, TG, TK), pp. 295–302.