CAE Functionality for Verification of Diagnostic Programs.
Carol PyronRex SalladePublished in: ITC (1989)
Keyphrases
- symbolic execution
- hardware designs
- expert systems
- model checking
- answer sets
- case study
- diagnostic knowledge
- cad cam
- asynchronous circuits
- signature verification
- verification method
- concurrent systems
- decision making
- formal methods
- programming environment
- automatic programming
- program execution
- computer programs
- model based diagnosis
- disease diagnosis
- diagnostic tool
- medical diagnosis
- java bytecode
- logic programs