Knext

Query Results: Checking.n (page 126)

3,407 results in the active KB.

(Consistency checkings) can be automated.
Logical form
Learned from
2 sentences.
A (model checking) can be effective.
Logical form
Learned from
2 sentences.
(Model checking) may be applied to software.
Logical form
Learned from
2 sentences.
A report may explore a packaging of (checking technology).
Logical form
Learned from
2 sentences.
(Checking technology) may undergo a packaging.
Logical form
Learned from
2 sentences.
(Model checking) can be a technology.
Logical form
Learned from
2 sentences.
A (model checking algorithm) may manifest soundness.
Logical form
Learned from
2 sentences.
Techniques may incorporate checking.
Logical form
Learned from
2 sentences.
Formal verification can be by (model checking).
Logical form
Learned from
2 sentences.
A (reasoning framework) may package effectiveness of (model checking).
Logical form
Learned from
2 sentences.
A (checking reasoning framework) may support use.
Logical form
Learned from
2 sentences.
Persons can be in a process of checking.
Logical form
Learned from
2 sentences.
A (field checking) can be intensive.
Logical form
Learned from
2 sentences.
A (source code checking tool) can be sparse.
Logical form
Learned from
2 sentences.
(Checking tools) can be static.
Logical form
Learned from
2 sentences.

Search

Results returned on 2026-08-06.