Software Quality

Here, you can explore the latest blog posts on the topic Software Quality:

Apr 09, 2020

Installing Spin Model Checker including iSpin on Ubuntu 19.04

For the lecture Advanced Software Quality at Aalen University, I had to demonstrate the usage of Spin model checker for the verification of softwar...

Read

philenius

Hi there! I'm Phil - a software engineer who lives and breathes Python. After finishing my studies in machine learning, I've spent the last few years building production-grade ML pipelines, experimenting with deep learning models for computer vision, and architecting scalable cloud-native solutions.

GitHub profile