GitHub repository: nasirkhurshid/ElevatorModel-NuSMV
Created: 2023-07-13T20:18:14Z
Description: Drawing a Kripke Structure for an elevator and coding in NuSMV for automatic test case generation