மென்பொருள் சரிபார்ப்பு
சாப்ட்வேர் வெரிஃபிகேஷன் (software verification) க்கான ஸ்டாடிக் அனலிசிஸ் டெக்ணிக்ஸ் (static analysis techniques) க்வெரி லாங்குவேஜ் (query languages) சூழலிலும் பயன்படுத்தப்படலாம்.
கேள்வி மொழிகளுடன் நிலையான பகுப்பாய்வு எவ்வாறு பயனுள்ளதாக இருக்கும்?