Use of metods of algebraic programming for the formal verification of legal acts.

Volodymyr Peschanenko Maksym Poltorackiy

Published in: UkrPROG (2018)

Keyphrases

formal verification
model checking
symbolic model checking
model checker
automated verification
bounded model checking
programming language
speech acts
legal documents
program slicing
software systems
programming course
intellectual property
legal information
legal knowledge