libDDD

MaRDI QIDQ16283swMATHFDO

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
• Möbius
• Hierarchical Set Decision Diagrams and Automatic Saturation
• Building efficient model checkers using hierarchical set decision diagrams and automatic saturation
• Abstract interpretation of dynamics of biological regulatory networks

This page was built for software: libDDD