Search Results

Search found 2 results on 1 pages for 'user326180'.

Page 1/1 | 1 

• Tool to write linear temporal logic from UML 2.0 sequence diagram

  - by user326180

  i am working on checking model consistency of software. to do this i need to write linear temporal logic for UML 2.0 sequence diagram. if any body have any other tool for the same please response as soon as possible. I will be very obliged to you. i have found charmy tool have plugin for the same. Does anybody have source code for charmy tool(CHecking ARchitectural Model consistencY). It is not available on their website. Thanks in advance.

  Read the article

• 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.

  Read the article

1