A consistency checker for probabilistic software quality models
-
Updated
Feb 1, 2018 - Java
#
software-verification
Here are 3 public repositories matching this topic...
Software Verification course project - Fixing bugs using a working example as a specification
-
Updated
Sep 16, 2018 - Java
Projects and assignments done during Master's Degree course in Informatics Engineering, with specialisation in Software Engineering, at Faculty of Sciences of the University of Lisbon.
internet-of-things concurrent-programming cloud-computing software-engineering software-verification software-testing mobile-development parallel-programming software-design web-applications software-validation
-
Updated
Jun 25, 2022 - Java
Improve this page
Add a description, image, and links to the software-verification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the software-verification topic, visit your repo's landing page and select "manage topics."