Automatic Program Instrumentation for Automatic Verification (Extended Technical Report).
Jesper AmilonZafer EsenDilian GurovChristian LidströmPhilipp RümmerPublished in: CoRR (2023)
Keyphrases
- technical report
- program execution
- semi automatic
- wide range
- information retrieval
- databases
- programming environment
- fully automatic
- data sets
- multimedia
- machine learning
- web services
- three dimensional
- data structure
- special case
- object oriented
- logic programs
- data mining
- metadata
- computer programs
- information systems
- neural network