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
SKUDONET Open Source Load Balancer Icon
SKUDONET Open Source Load Balancer

Take advantage of Open Source Load Balancer to elevate your business security and IT infrastructure with a custom ADC Solution.

SKUDONET ADC, operates at the application layer, efficiently distributing network load and application load across multiple servers. This not only enhances the performance of your application but also ensures that your web servers can handle more traffic seamlessly.
Learn More
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