Verifying programs by algebraic and logical reduction.

Norihisa Suzuki

Published in: Reliable Software (1975)

Keyphrases

computer programs
dynamic logic
model checking
website
clustering algorithm
algebraic structure
logical representation
search engine
decision trees
case study
evolutionary algorithm
data model
answer sets
attribute reduction
logical framework
control structures