Keyphrases
- reactive systems
- temporal logic
- model checking
- information flow
- parallel thinning
- control flow
- formal methods
- distance transform
- petri net
- shape analysis
- shape representation
- thinning algorithm
- medial axis
- real time systems
- artificial intelligence
- state machines
- software testing
- data flow
- case study
- training data
- web services
- supply chain
- skeleton extraction
- business processes