FOREVER is an environment to translate UML Sequence Diagrams to Petri Nets and ckeck system properties with SMV. The tool receives as input sequence diagrams of UML and provides the Petri net in three different formats: APNN, PNML and SMV .

Project Activity

See All Activity >

Categories

Collaborative Development

License

GNU General Public License version 2.0 (GPLv2)

Follow FOREVER

FOREVER Web Site

You Might Also Like
Gain insights and build data-powered applications Icon
Gain insights and build data-powered applications

Your unified business intelligence platform. Self-service. Governed. Embedded.

Chat with your business data with Looker. More than just a modern business intelligence platform, you can turn to Looker for self-service or governed BI, build your own custom applications with trusted metrics, or even bring Looker modeling to your existing BI environment.
Try it free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of FOREVER!

Additional Project Details

Operating Systems

Windows

Languages

English

Intended Audience

Developers

User Interface

Java Swing

Programming Language

Java

Related Categories

Java Collaborative Development Software

Registered

2011-07-14
Report inappropriate content