Sinem Getir Yaman*, Pedro Ribeiro, Charlie Burholt, Maddie Jones, Ana Lucia Caneca Cavalcanti, Radu Calinescu

*Corresponding author for this work

Research output: Non-textual formSoftware


A growing range of applications use AI and other autonomous agents to perform tasks that raise social, legal, ethical, empathetic, and cultural (SLEEC) concerns. To support a framework for the consideration of these concerns, we introduce SLEEC-TK, a toolkit for specification, validation, and verification of SLEEC requirements. SLEEC-TK is an Eclipse-based environment for defining SLEEC rules in a domain-specific language with a timed process algebraic semantics. SLEEC-TK uses model checking to identify redundant and conflicting rules, and to verify conformance of design models with SLEEC rules.
Original languageEnglish
Media of outputOnline
Publication statusPublished - 4 Apr 2024


  • autonomous agents
  • social requirements
  • legal requirements
  • ethical requirements
  • empathetic requirements
  • cultural requirements
  • verification
  • validation

Cite this