http://qpq.csl.sri.com testing daily 1 2007-02-14T11:49:28Z http://qpq.csl.sri.com/vsr/private/verified-software-roadmap-2006/Overview Software is now at the core of our infrastructure. We depend on software to control devices ranging from pacemakers to spacecraft, to manage our banking, communication, and power distribution ... VSR 2007-03-07T22:21:38Z Wiki Page http://qpq.csl.sri.com/front-page QPQ is a forum for developing and exchanging formal content including theorem proving and verification systems, libraries, benchmarks, challenges, standards, and technical reports. No publisher admin VSR abstraction paramodulation intermediate language higher-order logic demodulation propositional logic tableaux equational logic rewriting refinement proof checker modeling language set-of-support QBF hyperresolution resolution specification language first-order logic programming language 2006-12-14T06:38:15Z Page