A Formalized Theory for Verifying Stability and Convergence of Automata in PVS.

Sayan Mitra K. Mani Chandy

Published in: TPHOLs (2008)

Keyphrases

timed automata
convergence rate
stability analysis
cellular automata
theoretical framework
theoretical basis
database
model checking
theorem proving
finite state
global convergence
information retrieval
social networks
theorem prover
initial conditions
formal verification