Symbolic debugging of globally optimized behavioral specifications.
Inki HongDarko KirovskiMiodrag PotkonjakMarios C. PapaefthymiouPublished in: ASP-DAC (2000)
Keyphrases
- high level
- execution traces
- delay insensitive
- behavioral model
- symbolic representation
- connectionist learning
- model based diagnosis
- finite state machines
- reactive systems
- connectionist models
- hardware designs
- formal specification
- specification language
- neural learning
- java programs
- symbolic reasoning
- novice programmers
- database
- fault localization
- software testing
- information retrieval
- data sets