VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution).
Priyanka DarkeBharti ChimdyalwarSakshi AgrawalShrawan KumarR. VenkateshSupratik ChakrabortyPublished in: TACAS (2) (2023)
Keyphrases
- prediction accuracy
- high level
- prediction algorithm
- scalable video coding
- data sets
- hardware designs
- asynchronous circuits
- highly scalable
- formal methods
- prediction model
- model checking
- genetic algorithm
- search strategy
- optimal strategy
- video sequences
- memory efficient
- social networks
- formal verification
- information retrieval
- real time
- international competition