Verification, Model Checking and Abstract Interpretation (Workshop Overview).

Annalisa Bossi Dennis Dams Gilberto Filé Elena Marchiori

Published in: ILPS (1997)

Keyphrases

model checking
abstract interpretation
temporal logic
formal verification
model checker
automated verification

verification method
formal specification
epistemic logic
bounded model checking
symbolic model checking
formal methods

temporal properties
linear temporal logic
concurrent systems
computation tree logic
transition systems
asynchronous circuits

dynamic analysis
database
termination analysis
object oriented
high level