https://wiki.student.utwente.nl/w/index.php?action=history&feed=atom&title=Formal_Methods_and_Tools 2026-10-31T12:03:30Z Bewerkingsoverzicht voor deze pagina op de wiki MediaWiki 1.43.9 https://wiki.student.utwente.nl/w/index.php?title=Formal_Methods_and_Tools&diff=11092&oldid=prev 2009-01-25T13:10:34Z

<p>Categorie toegevoegd</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="nl"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Oudere versie</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Versie van 25 jan 2009 13:10</td> </tr><tr> <td colspan="2" class="diff-lineno">Regel 54:</td> <td colspan="2" class="diff-lineno">Regel 54:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{{leerstoelen}}</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{{leerstoelen}}</div></td> </tr> <tr> <td colspan="2" class="diff-empty diff-side-deleted"></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td colspan="2" class="diff-empty diff-side-deleted"></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Categorie:Leerstoel]]</div></td> </tr> </table>

Jelte https://wiki.student.utwente.nl/w/index.php?title=Formal_Methods_and_Tools&diff=10792&oldid=prev 2009-01-06T18:36:23Z

<p><a href="/wiki/FMT" class="mw-redirect" title="FMT">FMT</a> moved to <a href="/wiki/Formal_Methods_and_Tools" title="Formal Methods and Tools">Formal Methods and Tools</a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="nl"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Oudere versie</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Versie van 6 jan 2009 18:36</td> </tr><tr><td colspan="2" class="diff-notice" lang="nl"><div class="mw-diff-empty">(geen verschil)</div> </td></tr></table>

Basilfx https://wiki.student.utwente.nl/w/index.php?title=Formal_Methods_and_Tools&diff=10723&oldid=prev 2009-01-05T19:19:36Z

<p><span class="autocomment">Externe Links</span></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="nl"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Oudere versie</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Versie van 5 jan 2009 19:19</td> </tr><tr> <td colspan="2" class="diff-lineno">Regel 45:</td> <td colspan="2" class="diff-lineno">Regel 45:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Externe Links==</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Externe Links==</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[http://fmt.cs.utwente.nl/index.html <del style="font-weight: bold; text-decoration: none;">(</del>Website faculteit<del style="font-weight: bold; text-decoration: none;">)</del>]</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[http://fmt.cs.utwente.nl/index.html Website faculteit]</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[http://eprints.eemcs.utwente.nl/view/group/EWI-FMT.html <del style="font-weight: bold; text-decoration: none;">(</del>De verschillende publicaties van de faculteit<del style="font-weight: bold; text-decoration: none;">)</del>]</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[http://eprints.eemcs.utwente.nl/view/group/EWI-FMT.html De verschillende publicaties van de faculteit]</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Categorie:Omschrijving]]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Categorie:Omschrijving]]</div></td> </tr> </table>

MCKolkman https://wiki.student.utwente.nl/w/index.php?title=Formal_Methods_and_Tools&diff=10722&oldid=prev 2009-01-05T19:19:08Z

<p><span class="autocomment">Onderzoeksgebieden</span></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="nl"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Oudere versie</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Versie van 5 jan 2009 19:19</td> </tr><tr> <td colspan="2" class="diff-lineno">Regel 3:</td> <td colspan="2" class="diff-lineno">Regel 3:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Onderzoeksgebieden==</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Onderzoeksgebieden==</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Software Model Checking]]</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">*</ins>[[Software Model Checking]]</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Program Verification]]</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">*</ins>[[Program Verification]]</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Real-time and Hybrid Systems]]</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">*</ins>[[Real-time and Hybrid Systems]]</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Probabilistic and Stochastic Systems]]</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">*</ins>[[Probabilistic and Stochastic Systems]]</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Parallel and Distributed Model Checking]]</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">*</ins>[[Parallel and Distributed Model Checking]]</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Model-Based Testing]]</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">*</ins>[[Model-Based Testing]]</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Graph Transformation]]</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">*</ins>[[Graph Transformation]]</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Tools==</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Tools==</div></td> </tr> </table>

MCKolkman https://wiki.student.utwente.nl/w/index.php?title=Formal_Methods_and_Tools&diff=10721&oldid=prev 2009-01-05T19:18:32Z

<p></p> <p><b>Nieuwe pagina</b></p><div>==Omschrijving==<br /> De leerstoel FMT (Formal Methods &amp; Tools) is deel van de afdeling [[Informatica]] op de faculteit [[EWI]] en gebruikt wiskunde voor de informatica. Op de faculteit wordt onderzoek gedaan naar technieken en tools ontwikkeld, die worden gebruik om te helpen bij de ontwikkeling van software. Dit kan dan betrekking hebben op zowel de ontwerp-, als de test-fase. Er wordt veel aandacht geschonken aan de toepasbaarheid van deze verschillende technieken en tools. <br /> <br /> ==Onderzoeksgebieden==<br /> [[Software Model Checking]]<br /> [[Program Verification]]<br /> [[Real-time and Hybrid Systems]]<br /> [[Probabilistic and Stochastic Systems]]<br /> [[Parallel and Distributed Model Checking]]<br /> [[Model-Based Testing]]<br /> [[Graph Transformation]]<br /> <br /> ==Tools==<br /> Als gezegd ontwikkelt men aan de FMT-leerstoel dus ook tools, die het ontwikkelen van software vergemakkelijken.<br /> Enkele hiervan zijn:<br /> * [[MRMC]] (hiermee kunnen allerlei [[Markov]]-modellen gecontroleerd worden)<br /> * [[Lite]]<br /> * [[BHave]] (hiermee kunnen allerlei dingen gedaan worden met het [[BHPC]]-protocol (Behavioural Hybrid Process Calculus), zoals het vertalen naar een andere protocol)<br /> <br /> ==Medewerkers==<br /> *prof.dr. Jaco van de Pol (full professor) <br /> *prof.dr. Ed Brinksma (part-time professor) <br /> *ir. Axel Belinfante (research assistant) <br /> *dr. Stefan Blom (post-doc) <br /> *dr. Hichem Boudali (post-doc) <br /> *Tingting Han MSc (PhD student) <br /> *dr. Marieke Huisman (assistant professor) <br /> *Clement Hurlin MSc (PhD student) <br /> *prof.dr.ir. Joost-Pieter Katoen (part-time professor) <br /> *dr. Jeroen Ketema (post-doc) <br /> *Piotr Kordy MSc (PhD student) <br /> *drs. Wouter Kuijper (PhD student) <br /> *dr.ir. Rom Langerak (assistant professor) <br /> *Martin Neuhäußer MSc (PhD student) <br /> *André Nijmeijer (technical assistant) <br /> *Svetlana Polenkova MSc (PhD student) <br /> *dr.ir. Arend Rensink (associate professor) <br /> *dr.ir. Theo Ruys (assistant professor) <br /> *dr. Mariëlle Stoelinga (assistant professor) <br /> *Mark Timmer MSc (PhD student) <br /> *dr.rer.nat. Michael Weber (post-doc) <br /> *dr. Jiansheng Xing (post-doc) <br /> *Eduardo Zambon MSc (PhD student) <br /> *dr. Maria Zimakova (post-doc) <br /> <br /> ==Externe Links==<br /> [http://fmt.cs.utwente.nl/index.html (Website faculteit)]<br /> <br /> [http://eprints.eemcs.utwente.nl/view/group/EWI-FMT.html (De verschillende publicaties van de faculteit)]<br /> <br /> [[Categorie:Omschrijving]]<br /> [[Categorie:Projecten]]<br /> <br /> <br /> {{leerstoelen}}</div>

MCKolkman