Knext

Query Results: Executable.a (page 55)

887 results in the active KB.

A (release evaluation) can be executable.
Logical form
Learned from
2 sentences.
(Software elements) can be executable.
Logical form
Learned from
2 sentences.
(Simulation models) can be executable.
Logical form
Learned from
2 sentences.
An executable program may come from a (software publisher).
Logical form
Learned from
2 sentences.
A (verification plan) can be executable.
Logical form
Learned from
2 sentences.
Executable code may undergo a transfer.
Logical form
Learned from
2 sentences.
A (cryptographic module) can be executable.
Logical form
Learned from
2 sentences.
A list can be constituted-of-or-filled-with executable programs.
Logical form
Learned from
2 sentences.
A smart card may be extended by loading executable programs.
Logical form
Learned from
2 sentences.
A (zip file) can be executable.
Logical form
Learned from
2 sentences.
(Application modules) can be executable.
Logical form
Learned from
2 sentences.
(Verification plans) can be executable.
Logical form
Learned from
2 sentences.
Software may recognize an executable file.
Logical form
Learned from
2 sentences.
An executable file may contain lib1.
Logical form
Learned from
2 sentences.
An executable file may use an object.
Logical form
Learned from
2 sentences.

Search

Results returned on 2026-07-05.