Using Theorem Proving to Verify Properties of Agent Programs (Q3056325)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using Theorem Proving to Verify Properties of Agent Programs |
scientific article |
Statements
Using Theorem Proving to Verify Properties of Agent Programs (English)
0 references
11 November 2010
0 references
automatic verification of agent programs
0 references
simpleAPL
0 references
PDL
0 references
operational semantics
0 references
