Simulation of Specification Statements in Hoare Logic.

Kai Engelhardt Willem P. de Roever

Published in: MFCS (1996)

Keyphrases

simulation model
formal language
truth values
transition systems
state machine
databases
natural language
relational databases
modal logic
specification language
qualitative simulation
genetic algorithm
case study
colored petri nets
linear temporal logic