Katz Lab | Hebrew University | ירושלים | Verification
katz-lab.com · saved by 1 readers
The Katz Lab's research focuses on applying formal methods to enable the creation of reliable and correct software. We are particularly interested in formally verifying systems with machine-learned components, such as neural networks.