        <ul>
                        <li>Formalisiert durch Kontrollflussgraphen</li>
                        <li>Jede Kante muss abgedeckt sein</li>
                        
                    </ul>
                    </div>
                    <div style="float:right; width:50%">
                            <img src="../../slides/images/cfg-euclid.png" style="width:50%" class="plain" />
                    </div>

                    <aside class="notes">
                        Dieses Manko wird durch 