Implementing Verification Strategies in the KIV-System.

Maritta Heisel Wolfgang Reif Werner Stephan

Published in: CADE (1988)

Keyphrases

model checking
real time
probabilistic model
search strategies
online auctions
cooperative
digital libraries
efficient implementation
formal methods
test generation
high security
concurrent systems