PAMELA+PVS Verification of Sequential Programs.

Published in: Tool Support for System Specification, Development and Verification (1998)

Keyphrases

formal verification
model checking
symbolic execution
theorem proving
hardware designs
timed automata
face verification
automatic programming
programming environment
verification method
control program
control structures
real time
xml schema
social networks
neural network
databases