V processes objects that are placed in one or more source files. These objects are defined using a formal grammar.
Two types of objects can be defined with this grammar: those that describe host resources and those that express rules to be validated.
Resource objects define the parts of the computer: CPU, memory, filesystems, configuration settings, logs, network interfaces, I/O, traffic, software packages, etc.
Validation objects define rules that are to be checked. Is there adequate free disk space? Is there any suspicious activity in the logs? Are URLs accessible from the outside? Are configuration settings correct?