AutomataSpecificationRelations
Published: 2 June 2026| Version 1 | DOI: 10.17632/zmrz6t2jxf.1
Contributors:
Madalina Spiridon, Description
Dataset of relationships between requirements in an automaton-based system, including neutrality, contradiction, mutual exclusion, redundancy, and implication.
Files
Categories
Automaton, Formal Verification, Natural Language Semantics