SNARK

(redirected from SRI's)
AcronymDefinition
SNARKSRI's (Stanford Research Institute's) New Automated Reasoning Kit (SRI International)
Copyright 1988-2018 AcronymFinder.com, All rights reserved.
References in periodicals archive ?
A good place to begin a conceptual shift is by reconsidering SRI's three-legged stool analogy.
And last, seeing SRI's current tactics not as a container/support, but as a tool, helps remind us that we'll need other equipment to do a big job.
It wouldn't take that many voices speaking in unison to bolster SRI's power.
The North American joint venture will include SRI's tire operations in North America with annual sales of $800 million.
The second venture will supply Goodyear brand tires to the replacement market through SRI's and Goodyear's distribution channels.