Four Notions of Fault for Program Specifications.
Jan A. BergstraPublished in: Sci. Ann. Comput. Sci. (2022)
Keyphrases
- databases
- data model
- control flow
- fault detection
- operational semantics
- fault diagnosis
- neural network
- computer programs
- program execution
- recursive programs
- execution traces
- formal verification
- functional requirements
- information systems
- formal specification
- programming environment
- data sets
- information retrieval
- data flow
- high level
- case study
- website