Towards Systematic Specification and Verification of Fairness Requirements: A Position Paper

Qusai Ramadan, Jukka Ruohonen, Abhishek Tiwari +2

Decisions suggested by improperly designed software systems might be prone to discriminate against people based on protected characteristics, such as gender and ethnicity. Previous…