report.md

Report

Task1:Natural Language And LTL

Test	Status	Reason
Task1a	❌ Failed	The specification is not a valid LTL specification
Task1b	❌ Failed	The specification is not a valid LTL specification
Task1c	❌ Failed	The specification is not a valid LTL specification

Task2:Semantic Relations

Test	Status	Reason
Task2a	❌ Failed	Check for phi -> psi is missing
Task2b	❌ Failed	Check for phi -> psi is missing
Task2c	❌ Failed	Check for phi -> psi is missing

Task3:Train Signals

Test	Status	Reason
Task3a	❌ Failed	File is empty
Task3b	❌ Failed	File is empty

Task4:Knight Moves

Test	Status	Reason
Task1a	❌ Failed	Knight is not starting at (0,1)

Nuxmv Executor

Test	Status	Reason
nu Xmv Working	✅ Passed	-