Neural Model Checking Mirco Giacobbe University of Birmingham, UK Daniel Kroening
–Neural Information Processing Systems
We introduce a machine learning approach to model checking temporal logic, with application to formal hardware verification.
Neural Information Processing Systems
Oct-10-2025, 11:20:51 GMT
- Country:
- North America > United States (0.04)
- Europe > United Kingdom
- England
- West Midlands > Birmingham (0.40)
- Greater London > London (0.04)
- England
- Genre:
- Research Report > New Finding (0.92)
- Industry:
- Information Technology (0.66)
- Technology: