Static Verification of Design Constraints and Software Correctness Properties in the Hob System.
Patrick LamMartin C. RinardPublished in: IPDPS (2007)
Keyphrases
- design concepts
- user interface
- hardware design
- software architecture
- software design
- constraint programming
- simulation environment
- hardware designs
- design process
- software systems
- artificial intelligence
- desirable properties
- formal verification
- engineering design
- software suite
- constraint sets
- constraint satisfaction
- knowledge based systems
- computer systems
- case study