Work

Full-program induction: verifying array programs sans loop invariants

Year: 2022

Type: article

Source: International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-022-00676-w

Authors: Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Institutions: Indian Institute of Technology Bombay, Tata Consultancy Services (India)

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4297536012

FWCI: 0.643

Cites: 70

Cited by: 3

Related to: 10