QBV means Quantified Boolean Validator in Mathematics
Similar to QBV
AETG - Automatic Efficient Test Generator AF - All Flat AF - Approximately Finite AF - Array Formula AFEM - Advanced Finite Element Methods AFG - Arbitrary Function Generator AFP - Abstract Family of Power