نتایج جستجو برای: software verification

تعداد نتایج: 498911  

2004
Gerard J. Holzmann Rajeev Joshi

In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted by the model checker. The construction of such a model typically requires good knowledge of both the application being verified and of the capabilities of the model checker that is used for the verification. Inadequate knowled...

Journal: :CoRR 2013
Robert T. Hans

Software project scope verification is a very important process in project scope management and it needs to be performed properly and thoroughly so as to avoid project rework and scope creep. Moreover, software scope verification is crucial in the process of delivering exactly what the customer requested and minimizing project scope changes. Well defined software scope eases the process of scop...

2011
Alireza Souri Mohammad ali Sharifloo Monire Norouzi

Verification is one of the important sections of producing a software system. Several factors can influence on verification result. In this research, we analyze important factors on verification results and then we explain some verification techniques and software systems briefly. As verification result is sensitive highly in multilayer systems, we present a solution. By this solution, we can g...

2012
Dirk Beyer Alexander K. Petrenko

Linux driver verification is a large application area for software verification methods, in particular, for functional, safety, and security verification. Linux driver software is industrial production code — IT infrastructures rely on its stability, and thus, there are strong requirements for correctness and reliability. This implies that if a verification engineer has identified a bug in a dr...

2005
Tevfik Bultan Constance L. Heitmeyer John O'Leary

Although research in automated verification has produced very promising results, the question of how to effectively integrate these results into the software and hardware development processes is still unresolved. Typically, fully automated verification techniques are not scalable, and scalable verification techniques require substantial user guidance. Alternatively, developers could facilitate...

2016
Martin Brain Daniel Kroening Ryan McCleeary

One of the main application areas and driving forces behind the development of Satisfiability Modulo Theory (SMT) solvers is software verification. The requirements of software verification are somewhat different to other applications of automated reasoning, posing a number of challenges but also providing some interesting opportunities. This paper brings together and summarises the algebras an...

2006
Gerald H. Hilderink

A software design usually manifests a composition of software specifications. It consists of hierarchies of black box and white box specifications which are subject to refinement verification. Refinement verification is a modelchecking process that proves the correctness of software specifications using formal methods. Although this is a powerful tool for developing reliable and robust software...

2002
Christina Wallin

One premise with component based software technology is that the software component consumers, that is the software system builders, can decrease their effort needed for, among other things, verification of their component based software systems compared to traditional custom developed systems. But to reach this goal the component producers instead has to ensure a high, documented and trusted q...

Journal: :Journal of Systems Architecture 2000
Pao-Ann Hsiung

Concurrent Embedded Real-Time Software (CERTS) is intrinsically di€erent from traditional, sequential, independent, and temporally unconstrained software. The veri®cation of software is more complex than hardware due to inherent ̄exibilities (dynamic behavior) that incur a multitude of possible system states. The veri®cation of CERTS is all the more dicult due to its concurrency and embeddedne...

1993
Alfred Bröckers Volker Gruhn

In this paper we introduce an approach to computer-aided verification of software process model properties. This approach uses a net-based software process modeling language called FUNSOFT nets. FUNSOFT nets are highlevel Petri nets which are adapted to the application domain of software process modeling. In this paperwe focus on the verification of static and dynamic software process model pro...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید