Logical analysis of programs
Most present systems for verification of computer programs are incomplete in that intermediate inductive assertions must be provided manually by the user, termination is not pro...
Publications
1 shownFrequent Co-Authors
Researcher Info
- h-index
- 1
- Publications
- 1
- Citations
- 136
- Institution
- Technion – Israel Institute of Technology
External Links
Identifiers
- ORCID
- 0000-0002-7065-8823
Impact Metrics
h-index
1
h-index: Number of publications with at least h citations each.