Abstract interpretation based verification of temporal properties for BioAmbients.

Roberta Gori Francesca Levi

Published in: Inf. Comput. (2010)

Keyphrases

model checking
temporal properties
abstract interpretation
formal specification
formal methods
software systems