slides - Department of Computer Science
slides - Department of Computer Science
slides - Department of Computer Science
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Conclusion<br />
• The introduction <strong>of</strong> pGSL helps the programmers handle probabilistic properties<br />
<strong>of</strong> s<strong>of</strong>tware formally.<br />
• The new Toolkit will assist in developing and maintaining s<strong>of</strong>tware with<br />
probabilistic properties.<br />
• Further more, in the future, the Toolkit can be upgraded to support other<br />
properties <strong>of</strong> s<strong>of</strong>tware development.