Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: A B C D F I P S V

A
Artificial Intelligence	Verifying safety properties of Artificial General Intelligence: The ultimate safety-critical system?
B
bounded model checking	Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods
C
compiler verification	Introducing a Sound Deductive Compilation Approach
completeness	Typed First-Order Logic
D
deductive compilation	Introducing a Sound Deductive Compilation Approach
F
first-order logic	Typed First-Order Logic
I
interactive verification	Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods
P
program transformation	Introducing a Sound Deductive Compilation Approach
program verification	Typed First-Order Logic
S
Safety-critical systems	Verifying safety properties of Artificial General Intelligence: The ultimate safety-critical system?
Self-reference	Verifying safety properties of Artificial General Intelligence: The ultimate safety-critical system?
Software Verification	Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods
symbolic execution	Introducing a Sound Deductive Compilation Approach
V
verification tools	Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods