Temporal-Safety Proofs for Systems Code.

Thomas A. Henzinger Ranjit Jhala Rupak Majumdar George C. Necula Grégoire Sutre Westley Weimer

Published in: CAV (2002)

Keyphrases

spatio temporal
expert systems
information retrieval
website
control system
open source
spatial data
temporal reasoning
support systems
temporal evolution
autonomous mobile