Development of an ML-based Verification Tool for Timed CSP Processes.
Takeshi YamakawaTsuneki OhashiChikara FukunagaPublished in: CPA (2011)
Keyphrases
- software engineering
- constraint satisfaction problems
- maximum likelihood
- software application
- knowledge based systems
- design tools
- development process
- constraint satisfaction
- development processes
- tree decomposition
- signature verification
- formal methods
- support systems
- constraint programming
- artificial intelligence
- petri net
- design process
- decision support
- np hard
- case study