Program logics

Very roughly, a program logic is a logic for reasoning about programs.

There are many varieties.

Please expand

References

• There is a series of lectures on program logics given at the Collège de France in 2021-21 by Xavier Leroy which surveys the origins of the field.