Parameterized Systems

For more info about our services contact : help@bestpfe.com

Table of contents

Abstract
Acknowledgements
Table of Contents
List of Figures
1 Introduction
1.1 Background: Testing and Verification
1.2 Problem statement
1.3 Targeted Readers
1.4 Objectives
1.5 Development Methodology
1.6 Organization of the Thesis
2 Background
2.1 Model Checking
2.2 Parameterized Systems
3 Design
3.1 Simulation Algorithm
3.1.1 Random Simulation
3.1.2 Interactive Simulation
3.1.3 Guided Simulation
3.2 Contract between tool and verifier
4 Mockup design
5 Development environment and tools
5.1 IDE language environment
5.2 ANTLR
5.3 Documentation development
6 Results
6.1 Screenshots
6.1.1 Random Simulation
6.1.2 Interactive Simulation
6.1.3 Guided Simulation
6.1.4 Verification
7 Future work
8 Bibliography