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:
2013
2013
20122012
2009Wrote 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.