libDDD

swMATH4096MaRDI QIDQ16283FDOQ16283

Author name not available (Why is that?)

Official website: https://lip6.github.io/ITSTools-web/libddd.html

Source code repository: https://github.com/lip6/libDDD

Cited In (16)

• Nested-unit Petri nets
• Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking
• Hierarchical Set Decision Diagrams and Regular Models
• GreatSPN
• Renew
• Crocodile
• Petriweb
• caesar.bdd
• LOEWE
• NUPN_INFO
• PNML2NUPN
• PNMC
• Hierarchical Set Decision Diagrams and Automatic Saturation
• Building efficient model checkers using hierarchical set decision diagrams and automatic saturation
• Möbius
• Abstract interpretation of dynamics of biological regulatory networks

This page was built for software: libDDD