Knext

Query Results: Checking.n (page 176)

3,407 results in the active KB.

(Character checking requirements) may remain unchanged.
Logical form
Learned from
2 sentences.
A checking can be formulary.
Logical form
Learned from
2 sentences.
Checking can be by staff.
Logical form
Learned from
2 sentences.
A temp may undergo a checking.
Logical form
Learned from
2 sentences.
Funds may deposit into a (checking account).
Logical form
Learned from
2 sentences.
(Program invariants) may undergo a checking.
Logical form
Learned from
2 sentences.
A checking can be pipelined.
Logical form
Learned from
2 sentences.
A licensee may retain a copy of some (checking account records).
Logical form
Learned from
2 sentences.
A copy can be constituted-of-or-filled-with some (checking account records).
Logical form
Learned from
2 sentences.
A (property checking) can be formal.
Logical form
Learned from
2 sentences.
Checkings can be detailed.
Logical form
Learned from
2 sentences.
A (type checking facility) may undergo an addition.
Logical form
Learned from
2 sentences.
Generation of (test oracles) may use checking.
Logical form
Learned from
2 sentences.
A (model checking) can be automated.
Logical form
Learned from
2 sentences.
An (access checking) can be global.
Logical form
Learned from
2 sentences.

Search

Results returned on 2026-08-20.