What does SYMP stand for?

MLA style: "SYMP." Acronym Finder . 2012. AcronymFinder.com 3 Jun. 2012 http://www.acronymfinder.com/Symbolic-Model-Prover-(SYMP).html
Chicago style: Acronym Finder . S.v. "SYMP." Retrieved June 3 2012 from http://www.acronymfinder.com/Symbolic-Model-Prover-(SYMP).html
APA style: SYMP. (n.d.) Acronym Finder. (2012). Retrieved June 3 2012 from http://www.acronymfinder.com/Symbolic-Model-Prover-(SYMP).html

Symbolic Model Prover

This definition appears very rarely and is found in the following Acronym Finder categories:

Other Resources:

<< Previous	Abbreviation Database Surfer		Next >>
Southern Yosemite Mountain Guides (travel outfitter and guide service; California) Sutter-Yuba Mental Health Services (California) Shipyards Management Information System Symbolic Logic Systematic Multiple Level Observation of Groups South Yorkshire Mass Murderer (song) Synchronized Multimedia (W3C Working Group) Super Yield Money Market Account Shoot Your Mouth Off Soft Yoke Mooring and Offloading (shipping)		Surrey Youth Music and Performing Arts (school; Surrey, UK) Summer Youth Music School (University of New Hampshire; Durham, NH) Symposium on Symbolic and Algebraic Computation Sydney Youth Musical Theatre (Australia) Sutter-Yuba Mosquito and Vector Control District (Yuba City, CA) System for Estimating Wartime Attrition & Replacement Requirements Screw Your Neighbor (game show podcast affiliated with The Awful Show) Seven Year Night (band) Sinister Yet Noble (gaming clan; World of Warcraft) Smoke Yourself Numb