- User Manual of the RODIN Platform October 2007
- Universitat Karlsruhe Institut fur Theoretische Informatik
- PeX -Parameterized Unit Tests in Visual Studio
- Institut fur Theoretische Informatik Logik und Formale Methoden
- Summary of Event-B Proof Obligations Jean-Raymond Abrial (ETHZ)
- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
- Requirements-Based Testing in Aircraft Control Jason Ghidella
- The TTCN-3 Language An Introduction
- Universitat Karlsruhe Institut fur Theoretische Informatik
- Formale Entwicklung objektorientierter Software Praktikum im Wintersemester 2008/2009
- Universitat Karlsruhe Institut fur Theoretische Informatik
- Universitat Karlsruhe Institut fur Theoretische Informatik
- Introduction to JavaCard Dynamic Logic Prof. P. H. Schmitt, Christian Engel, Benjamin Wei
- Universitat Karlsruhe Institut fur Theoretische Informatik
- Universitat Karlsruhe Institut fur Theoretische Informatik
- Daikon -Auffinden von Programminvarianten zur Laufzeit
- CSL Technical Note January 2005 Automated Test Generation with SAL
- Full Bandwidth Broadcast, Reduction and Scan with only two Trees
- Formale Entwicklung objektorientierter Software Prof. P.H. Schmitt, C. Engel, B. Wei
- Formale Entwicklung objektorientierter Software Praktikum im Wintersemester 2008/2009
- Universitat Karlsruhe Institut fur Theoretische Informatik
- A Concise Summary of the Event B mathematical toolkit 1 Each construct will be given in its presentation form, as displayed in the Rodin toolkit, followed by the ASCII form
- From Design to Test with UML Applied to a Roaming Algorithm
- Algorithm Engineering for the Basic Toolbox Peter Sanders
- DZone, Inc. | www.dzone.com CONTENTS INCLUDE
- Introduction to Dynamic Logics Prof. P. H. Schmitt, Christian Engel, Benjamin Wei
- 11 Evaluating Coverage Based Testing Christophe Gaston1
- Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven
- Verication of Statecharts using Temporal Logic Daniel Bruns
- Universitat Karlsruhe Institut fur Theoretische Informatik
- (IV) Event_B: Examples J.-R. Abrial
- Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
- Universitat Karlsruhe Institut fur Theoretische Informatik
- Formale Entwicklung objektorientierter Software Praktikum im Wintersemester 2008/2009
- A Dual-Engine for Early Analysis of Critical Systems Aboubakr Achraf El Ghazi, Ulrich Geilmann, Mattias Ulbrich, Mana Taghdiri
- A Dynamic Logic for Unstructured Programs with Embedded Assertions
