Automated Machine-Checked Hybrid System Safety Proofs.

Herman Geuvers Adam Koprowski Dan Synek Eelis van der Weegen

Published in: ITP (2010)

Keyphrases

automated theorem provers
semi automated
automated analysis
expert systems
information systems
multi agent
artificial neural networks
context sensitive
theorem prover
nuclear power plant