Practical-Formal-Methods/tailor
Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints
CApache-2.0
Stargazers
- adrianherreraCanberra, Australia
- AeroOwl
- agnosticlines[object Object]
- caballaCertora
- D4rkD0g
- h1994st
- hfeniserMPI-SWS
- m4p1eShanghaiTech University, China.
- mariachrisProfessor @ TU Wien Informatics
- mozi22Freiburg, Germany
- muneebshahidGrocera
- numairmansurAmazon Web Services
- rainysoul
- rmallofSpain
- sanieakhtar
- smohsinaliAlbert-Ludwigs-Universität Freiburg
- usm441
- wuestholz
- zaidurrehmanGermany