[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


	I am looking into verification of systems which have a non-linear
behavior (output is square,cube,differentiation,integration etc of the 
input). I would be interested in any work which (approximately) specifies
such behavior and uses standard PVS decision procedures to prove them.
Thank you for your help.

Abhijit Ghosh
University of Cincinnati