Skip to main navigation
Skip to search
Skip to main content
University of Copenhagen Research Portal Home
Help & FAQ
Dansk
English
Home
Profiles
Research output
Research units
Press/Media
Activities
Prizes
???studenttheses???
Datasets
Search by expertise, name or affiliation
A MuDDy Experience-ML Bindings to a BDD Library
Ken Friis Larsen
Department of Computer Science
Department of Computer Science
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A MuDDy Experience-ML Bindings to a BDD Library'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Binary Decision Diagram
100%
C Library
50%
Standard ML
50%
Domain Specific Embedded Language
25%
Finite State Machine
25%
Checking Algorithm
25%
Boolean Expression
25%
Caml
25%
Symbolic Algorithms
25%
Model Checker
25%
Grunt
25%
Custom Model
25%
Handover
25%
Computer Science
binary decision diagram
100%
model checker
16%
Finite-State Machine
16%
Canonical Form
16%
Boolean Expression
16%
Model Checking Algorithm
16%