libDDD

MaRDI QIDQ16283swMATHFDO

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

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

Cited in

(16)

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

This page was built for software: libDDD