Process-Based Design Verification for Systems Involving Shared Resources.
King Sing CheungK. O. ChowPublished in: APSCC (2006)
Keyphrases
- design process
- design criteria
- design processes
- building blocks
- interactive systems
- engineering design
- formal methods
- design requirements
- knowledge based systems
- formal verification
- design decisions
- design issues
- user interface
- limited resources
- design methodology
- computer aided
- model checking
- distributed systems
- support systems
- software architecture
- knowledge base
- functional verification