Formal Verification of Programs in the Pifagor Language.
Mariya S. KropachevaAlexander I. LegalovPublished in: PaCT (2013)
Keyphrases
- formal verification
- program slicing
- model checker
- model checking
- description languages
- symbolic model checking
- bounded model checking
- object oriented languages
- programming environment
- computer programs
- control structures
- agent programming
- programming language
- automated verification
- language learning
- programs written
- specification language
- description language
- temporal logic
- database languages
- concurrent programming
- functional language
- fault localization
- linear temporal logic
- natural language
- operational semantics
- multi agent systems