Pinned

1. Verification-of-Reactive-Systems-Spring-2021 Verification-of-Reactive-Systems-Spring-2021 Public

   In this repository you can find all of my projects for Verification of Reactive Systems Course when I was in 2nd semester of my master's at SUT.

   C++

2. Design-Patterns-Tutorial Design-Patterns-Tutorial Public

   Design Patterns Tutorial with Exampls. This tutorial is based on "Design Patterns Elements of Reusable Object-Oriented Software -Gmma and Helm and Johnson and Vlissides -Addison Wesley" Book

   C#

3. Parallel-Processing-Spring-2021 Parallel-Processing-Spring-2021 Public

   In this repository you can find all of my projects for Parallel Processing Course when I was in 2nd semester of my master's at SUT.

   Java 3

4. Formal-Specification-and-Verification-of-Programs-Fall-2020 Formal-Specification-and-Verification-of-Programs-Fall-2020 Public

   In this repository you can find all of my assignments for Formal Specification and Verification of Programs Course when I was in 1st semester of my master's at SUT.

   TeX

5. Formal-Verification-of-TADL2-Timing-Constraints-with-UPPAAL-and-KRONOS Formal-Verification-of-TADL2-Timing-Constraints-with-UPPAAL-and-KRONOS Public

6. Performance-Evaluation-of-Computer-Systems-Fall-2021 Performance-Evaluation-of-Computer-Systems-Fall-2021 Public

   In this repository you can find all of my projects for Performance Evaluation of Computer Systems Course when I was in 3rd semester of my master's at SUT.

   Java 1