Add project

_projects/hybrid_rebeca.md

@@ -0,0 +1,15 @@
+---
+layout: page
+title: Reachability Analysis of Hybrid Rebeca Models
+description: Formal Methods and Validation of Systems Lab, University of Tehran
+img: assets/img/12.jpg
+importance: 3
+category: Reseach Projects
+related_publications: false
+---
+
+I worked on implementing Hybrid Rebeca, an extension of the Rebeca programming language, designed for modeling asynchronous event-based cyber-physical systems with non-deterministic time behavior, under the supervision of [Prof. F. Ghassemi](https://ece.ut.ac.ir/en/~fghassemi).
+
+My responsibilities included developing an efficient reachability analysis technique to ensure the correctness of the models created in this language, as well as detecting program vulnerabilities, inappropriate software states, and potential bugs.
+
+You can find the code and other material on the [GitHub repository](https://github.com/SaeedZhiany/HybridRebecaReachabilityAnalysis/).