Software Verification Research Centre

Also found in: Acronyms

0.01 sec.

(body)

Software Verification Research Centre - (SVRC) A Special Research Centre of the Australian Research Council. Its mission is to create improved methods and tools, of industrial significance, for developing verified software. Two of the SVRC's core projects are the Cogito methodology and the Ergo proof tool.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			software pirate software platform software portability Software Practice and Experience software printer software product line Software Productivity Centre software program software protection software publisher Software Publishing Certificate Software Publishing Corporation software quality assurance software reliability software rendering software reuse software rot software stack software technician Software testing and inspection software theft Software through Pictures software tool software validation software vendor Software Verification Research Centre Software Writer's Language softwarily SoftWindows softwood softy SOG Soga family sogasoid Sogda Sogdian Sogdian Literature Sogdiana Sogdians Sogn og Fjordane Sognafjorden Sogne Fjord Sogwali soh Sohag SOHIO Sohm Abyssal Plain Sohncke's law Soho Sohrab Sohrab and Rustum			Software Upgrade Program Software Upgrading Software Upgrading Software Upgrading Software Upgrading Software Upgrading Software usability Software usability Software usability Software Usability Measurement Inventory Software Usability Research Laboratory Software Usage List Software Usage Management Protocol Software User's Guide Software User's Manual Software utilities Software utility software validation software validation Software Validation And Control Software Validation Plan Software Validation Protocol software vendor Software Vendor License Agreement Software Verification and Validation Software Verification and Validation Plan Software Verification and Validation Report Software Verification Cases and Procedures Software Verification Facility Software Verification Plan Software Verification Research Centre Software Verification Results Software Verification Results Report Software Verification Test Software Verification Test Procedures Software Version Description Software Version Description Document Software Version Number Software Version of Low-Complexity Normal-Basis Algorithm Software versioning Software versioning software virtual memory array Software Virtual Network Software Virtual Network Operator Software virus Software virus Software visualization Software Vital Product Data Software Vulnerability Guide Software WAN Optimization Controller Software Will Save Us Software Wireless Access Tandem Software Work Breakdown Structure Software Working Group Software Writer's Language Software Z-Buffer Software, Configuration, Upgrades, and Downloads

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.