Detailed account of using Spark and PVS theorem prover in such an app http://www.cs.virginia.edu/~jck/publications/Xiang.Yin.dissertation.pdf http://www.cs.vir

Detailed account of using Spark and PVS theorem prover in such an app http://www.cs.virginia.edu/~jck/publications/Xiang.Yin.dissertation.pdf http://www.cs.virginia.edu/~jck/publications/Xiang.Yin.disse...