Does anybody have any tool to generate Linear temporal logic or CTL from sequence diagram?
- by user326180
I have a sequence diagram of an application. can anybody help to generate Linear temporal Logic or Computational tree logic from sequence diagram automatically or does anybody have any tool to do same.
plz help
Thanks in advance.