Let say I want to model a program that will accept a file of type pdf.
pdf
How should I model accepting a pdf file as input in VDM++?
