Skip to main content

Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » M2M (model-to-model transformation) » UML activity diagrams and NuSMV(UML activity diagrams and NuSMV)
UML activity diagrams and NuSMV [message #522642] Tue, 23 March 2010 13:34
Yves LaCerte is currently offline Yves LaCerteFriend
Messages: 3
Registered: March 2010
Junior Member
Do you know of anyone working a transformation from UML 2 activity diagrams to the NuSMV model checker?

If not, any recommendations on how to get started.

Best regards,

Previous Topic:[ATL] Calling Java from ATL possible?
Next Topic:urgent
Goto Forum:

Current Time: Thu May 28 01:46:38 GMT 2020

Powered by FUDForum. Page generated in 0.01947 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top