Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes.
Hannes KallwiesMartin LeuckerMeiko PrilopMalte SchmitzPublished in: TASE (2022)
Keyphrases
- makes sense
- programming language
- hardware and software
- model checking
- utility function
- computer architecture
- general purpose
- face verification
- data mining
- software engineering
- computer systems
- asynchronous circuits
- formal verification
- signature verification
- massively parallel
- query language
- information systems
- learning algorithm