Checking Correctness of Transactional Behaviors.

Vincenzo Ciancia Gian Luigi Ferrari Roberto Guanciale Daniele Strollo

Published in: FORTE (2008)

Keyphrases

fault tolerant
behavior analysis
decision making
data structure
human behavior
consistency checking