Skip to search formSkip to main contentSkip to account menu

Software verification

Known as: Verification 
Software verification is a discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements… 
Wikipedia (opens in a new tab)

Related topics

Related topics

29 relations
ACM Transactions on Programming Languages and SystemsAnti-patternArtur d'Avila GarcezAttack Surface Analyzer

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Software verification for TinyOS
We describe the first software tool for the verification of TinyOS 2, MSP430 applications at compile-time. Given assertions upon… 
2010
2010
ACPT: A Tool for Modeling and Verifying Access Control Policies
Access control mechanisms are a widely adopted technology for information security. Since access decisions (i.e., permit or deny… 
2009
2009
Design and Basic Characteristics of Multi-Consequent-Pole Bearingless Motor With Bi-Tooth Main Poles
A multi-consequent-pole bearingless motor which is adapted to low speed rotation is presented. The bearingless motor can be used… 
2007
2007
A flexible security architecture to support third-party applications on mobile devices
The problem of supporting the secure execution of potentially malicious third-party applications has received a considerable… 
2006
2006
Sketch Transit Modeling Based on 2000 Census Data
Transit planners need cost-effective ways to evaluate a wide range of alternatives relatively quickly to identify potential… 
2006
2006
Software verification for programmable logic controllers
Programmable logic controllers (PLCs) occupy a big share in automation control. Their programming languages are, however, born… 
2006
2006
A Practical Fair-Exchange E-Payment Protocol for Anonymous Purchase and Physical Delivery
In this paper, a practical electronic-payment (epayment) protocol is presented for use over the internet. The protocol applies… 
Highly Cited
2005
Highly Cited
2005
LusSy: a toolbox for the analysis of systems-on-a-chip at the transactional level
We describe a toolbox for the analysis of systems-on-a-chip described in SystemC at the transactional level. The tools are able… 
2005
2005
Introgressing resistance to bacterial and viral diseases from the middle American to Andean common bean
The genetic base of cultivars within market classes of common bean (Phaseolusvulgaris L.) is narrow. Moreover, small- and medium… 
1986
1986
The defect-sensitivity effect of memory chips
Three effects appear to influence the yield of digital memory chips. In the first effect, yields appear to decrease faster with… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)