Relevant bibliographies by topics / Verification methods

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Verification methods'

Author: Grafiati
Published: 4 June 2021
Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Verification methods.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Verification methods"

1

Harrison, John. "Floating-Point Verification." JUCS - Journal of Universal Computer Science 13, no. (5) (2007): 629–38. https://doi.org/10.3217/jucs-013-05-0629.

Full text
Abstract:
This paper overviews the application of formal verification techniques to hardware ingeneral, and to floating-point hardware in particular. A specific challenge is to connect the usual mathematical view of continuous arithmetic operations with the discrete world, in a credible andverifiable way.
APA, Harvard, Vancouver, ISO, and other styles
2

Sydorko, Igor, Roman Baitsar, and Oksana Plakhtii. "VALIDATION AND VERIFICATION OF MEASUREMENT METHODS IN CLINICAL DIAGNOSIS." Measuring Equipment and Metrology 82, no. 3 (2021): 26–31. http://dx.doi.org/10.23939/istcmtm2021.03.026.

Full text
Abstract:
The article investigates and analyzes the validation and verification of measurement methods in the clinical diagnostic laboratory. The content and features of validation and verification are revealed. Measurement methods are considered in detail. Each direction of validation and verification of measurement methods is analyzed. The difference between validation and verification is substantiated. Measuring systems are increasingly used in the laboratories of the clinical sector. This means that the responsibility for validation lies mainly with the manufacturer. The laboratory may operate a val
APA, Harvard, Vancouver, ISO, and other styles
3

Kochana, Roman, Lyudmila Kovalchuk, Oleksandr Korchenko, and Nataliia Kuchynska. "Statistical Tests Independence Verification Methods." Procedia Computer Science 192 (2021): 2678–88. http://dx.doi.org/10.1016/j.procs.2021.09.038.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Brocklehurst, E. R. "Computer Methods of Signature Verification." Journal of the Forensic Science Society 25, no. 6 (1985): 445–57. http://dx.doi.org/10.1016/s0015-7368(85)72433-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Kallner, Anders. "Verification of Methods and Instruments." Point of Care: The Journal of Near-Patient Testing & Technology 11, no. 1 (2012): 22–25. http://dx.doi.org/10.1097/poc.0b013e318246a652.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Petković, Ljiljana D., and Miroslav Trajković. "Verification methods for inclusion disks." Reliable Computing 1, no. 4 (1995): 403–10. http://dx.doi.org/10.1007/bf02391685.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Woodcock, Jim, and Richard Banach. "The Verification Grand Challenge." JUCS - Journal of Universal Computer Science 13, no. (5) (2007): 661–68. https://doi.org/10.3217/jucs-013-05-0661.

Full text
Abstract:
This paper overviews the Verification Grand Challenge, a large scale multinationalintiative designed to significantly increase the interoperability, applicability and uptake of formal development techniques. Results to date are reviewed, and next steps are outlined.
APA, Harvard, Vancouver, ISO, and other styles
8

Zhang, Jie, Jian Qi, and Yong Guan. "Research on Hardware Design Verification Methods." Advanced Materials Research 588-589 (November 2012): 1208–13. http://dx.doi.org/10.4028/www.scientific.net/amr.588-589.1208.

Full text
Abstract:
This paper first summarizes the existing basic theories and methods of hardware design verification. Then it analyzes and compares the simulation-based verification and formal methods-based verification, and discusses Equivalence Checking, Model Checking and Theorem Proving in detail. Finally, it points out the existing problems and the future directions in the field.
APA, Harvard, Vancouver, ISO, and other styles
9

Cherlinka, V. R., and Y. M. Dmytruk. "Verification methods for predicative soil maps." Naukovij vìsnik Nacìonalʹnogo unìversitetu bìoresursìv ì prirodokoristuvannâ Ukraïni. Serìâ Bìologìâ, bìotehnologìâ, ekologìâ 2018, no. 287 (2018): 160–73. http://dx.doi.org/10.31548/biologiya2018.287.160.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Vijayanarayanan, N. S., Kushal Parwal, and Ravindra Kadam. "IEC 61439: Alternate Design Verification Methods." Power Research - A Journal of CPRI 16, no. 1 (2020): 27. http://dx.doi.org/10.33686/pwj.v16i1.152771.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Verification methods"

1

Zucchelli, D. "Combination Methods for Software Verification." Doctoral thesis, Università degli Studi di Milano, 2008. http://hdl.handle.net/2434/45877.

Full text
Abstract:
The thesis is devoted to the development of formal methods for software verification. Indeed, two are among the most widespread techniques that allow to rigorously specify the possible executions of a system and check whether it contains bugs. On the one hand, the correctness of a program can be guaranteed by showing the unsatisfiability of a formula modulo a theory which usually axiomatizes the involved datatypes; on the other hand, the model checking techniques are used to certify that every possible run of the system satisfies the desired properties. The contributions of the thesis are the
APA, Harvard, Vancouver, ISO, and other styles
2

Powell, Daniel, and n/a. "Formal Methods For Verification Based Software Inspection." Griffith University. School of Computing and Information Technology, 2003. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20030925.154706.

Full text
Abstract:
Useful processes, that are independently repeatable, are utilised in all branches of science and traditional engineering disciplines but seldom in software engineering. This is particularly so with processes used for detection and correction of defects in software systems. Code inspection, as introduced by Michael Fagan at IBM in the mid 1970's is widely recognised as an effective technique for finding defects in software. Despite its reputation, code inspection, as it is currently practiced, is not a strictly repeatable process. This is due to the problems faced by inspectors when they attemp
APA, Harvard, Vancouver, ISO, and other styles
3

Longworth, Chris. "Kernel methods for text-independent speaker verification." Thesis, University of Cambridge, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.608599.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Powell, Daniel. "Formal Methods For Verification Based Software Inspection." Thesis, Griffith University, 2003. http://hdl.handle.net/10072/366466.

Full text
Abstract:
Useful processes, that are independently repeatable, are utilised in all branches of science and traditional engineering disciplines but seldom in software engineering. This is particularly so with processes used for detection and correction of defects in software systems. Code inspection, as introduced by Michael Fagan at IBM in the mid 1970's is widely recognised as an effective technique for finding defects in software. Despite its reputation, code inspection, as it is currently practiced, is not a strictly repeatable process. This is due to the problems faced by inspectors when they attemp
APA, Harvard, Vancouver, ISO, and other styles
5

Brubaker, Lauren P. "Completely Residual Based Code Verification." University of Akron / OhioLINK, 2006. http://rave.ohiolink.edu/etdc/view?acc_num=akron1132592325.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Wan, Min. "Decision diagram algorithms for logic and timed verification." Diss., [Riverside, Calif.] : University of California, Riverside, 2008. http://proquest.umi.com/pqdweb?index=0&did=1663077981&SrchMode=2&sid=1&Fmt=2&VInst=PROD&VType=PQD&RQT=309&VName=PQD&TS=1268242250&clientId=48051.

Full text
Abstract:
Thesis (Ph. D.)--University of California, Riverside, 2008.<br>Includes abstract. Title from first page of PDF file (viewed March 10, 2010). Available via ProQuest Digital Dissertations. Includes bibliographical references (p. 166-170). Also issued in print.
APA, Harvard, Vancouver, ISO, and other styles
7

Kjellsson, Kenji. "Formal Methods in Verification of Interface and Bus Protocols." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-177354.

Full text
Abstract:
This master thesis is performed on behalf of the Swedish technology company Ericsson and is meant to evaluate the efficiency of an assertion-based Verification Intellectual Property (abVIP) against an already existing constrained random Verification Intellectual Property (crVIP). The abVIP is a verification entity which is connected with a predefined design and proves that the design is adhering to the specification properties through conditional checks, which uses mathematical proofs rather than prolonged simulation based input stimuli. A market research meant to cover the popularity of abVIP
APA, Harvard, Vancouver, ISO, and other styles
8

Yao, Haiqiong. "Methods and Algorithms for Scalable Verification of Asynchronous Designs." Scholar Commons, 2012. http://scholarcommons.usf.edu/etd/4263.

Full text
Abstract:
Concurrent systems are getting more complex with the advent of multi-core processors and the support of concurrent programs. However, errors of concurrent systems are too subtle to detect with the traditional testing and simulation. Model checking is an effective method to verify concurrent systems by exhaustively searching the complete state space exhibited by a system. However, the main challenge for model checking is state explosion, that is the state space of a concurrent system grows exponentially in the number of components of the system. The state space explosion problem prevents model
APA, Harvard, Vancouver, ISO, and other styles
9

MacGahan, Christopher, and Christopher MacGahan. "Mathematical Methods for Enhanced Information Security in Treaty Verification." Diss., The University of Arizona, 2016. http://hdl.handle.net/10150/621280.

Full text
Abstract:
Mathematical methods have been developed to perform arms-control-treaty verification tasks for enhanced information security. The purpose of these methods is to verify and classify inspected items while shielding the monitoring party from confidential aspects of the objects that the host country does not wish to reveal. Advanced medical-imaging methods used for detection and classification tasks have been adapted for list-mode processing, useful for discriminating projection data without aggregating sensitive information. These models make decisions off of varying amounts of stored information
APA, Harvard, Vancouver, ISO, and other styles
10

Bergström, Per. "Computational methods for shape verification of free-form surfaces." Doctoral thesis, Luleå tekniska universitet, Matematiska vetenskaper, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-17878.

Full text
Abstract:
Beräkningsmetoder för formverifiering av friformsytor utgör huvudinnehållet i denna doktorsavhandling. En gemensam egenskap för dessa metoder är att de möjliggör formverifiering online direkt i produktionslinan. Av den anledningen måste metoderna vara snabba och robusta. Ett av problemen som uppkommer i formverifieringen av friformsytor är registrering. Det är problemet med att matcha datapunkter i 3D-rymden, som representerar den uppmätta ytan, med ett CAD-objekt genom att ansätta en stelkropps transformation. En metod för att utföra registreringen snabbt och robust är utvecklad. Metoden är
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Verification methods"

1

Mali, Olli, Pekka Neittaanmäki, and Sergey Repin. Accuracy Verification Methods. Springer Netherlands, 2014. http://dx.doi.org/10.1007/978-94-007-7581-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Alefeld, Götz, Jiří Rohn, Siegfried Rump, and Tetsuro Yamamoto, eds. Symbolic Algebraic Methods and Verification Methods. Springer Vienna, 2001. http://dx.doi.org/10.1007/978-3-7091-6280-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Alefeld, Götz. Symbolic Algebraic Methods and Verification Methods. Springer Vienna, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bernardo, Marco, and Alessandro Cimatti, eds. Formal Methods for Hardware Verification. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11757283.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Margaria, Tiziana, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification and Validation. Verification. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-03421-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Margaria, Tiziana, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-19849-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Margaria, Tiziana, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-61362-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Pierre, Laurence, and Thomas Kropf, eds. Correct Hardware Design and Verification Methods. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48153-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Camurati, Paolo E., and Hans Eveking, eds. Correct Hardware Design and Verification Methods. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60385-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Margaria, Tiziana, and Tom Melham, eds. Correct Hardware Design and Verification Methods. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44798-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Verification methods"

1

Nielson, Flemming, and Hanne Riis Nielson. "Program Verification." In Formal Methods. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-05156-3_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bérard, Béatrice, Michel Bidoit, Alain Finkel, et al. "Abstraction Methods." In Systems and Software Verification. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-662-04558-9_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Rushby, John. "Automated deduction and formal methods." In Computer Aided Verification. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61474-5_67.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Damm, Werner, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann, and Rainer Schlör. "Verification Flow." In Practical Formal Methods for Hardware Design. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-60641-0_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Goerigk, Wolfgang. "Compiler Verification Revisited." In Advances in Formal Methods. Springer US, 2000. http://dx.doi.org/10.1007/978-1-4757-3188-0_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Harrison, John. "Floating-Point Verification." In FM 2005: Formal Methods. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11526841_35.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Murray-Smith, David J. "Methods of Model Verification." In Testing and Validation of Computer Simulation Models. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-15099-4_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Song, Weiguo, and Libi Fu. "Verification and Validation Methods." In Evacuation Modeling Trends. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-20708-7_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Graham, Brian T. "Formal Methods and Verification." In The SECD Microprocessor. Springer US, 1992. http://dx.doi.org/10.1007/978-1-4615-3576-8_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Freytag, G., and R. Shankar. "Digital Hardware Verification Methods." In Microelectronics Education. Springer Netherlands, 2004. http://dx.doi.org/10.1007/978-1-4020-2651-5_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Verification methods"

1

Rump, Siegfried M. "Verification methods." In the 2010 International Symposium. ACM Press, 2010. http://dx.doi.org/10.1145/1837934.1837937.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Dill, David, Nate James, Shishpal Rawat, et al. "Formal verification methods." In the 39th conference. ACM Press, 2002. http://dx.doi.org/10.1145/513918.514064.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Lebrun, A., S. C. Kane, L. Bourva, S. Poirier, N. E. Loghin, and D. Langlands. "Improved verification methods for safeguards verifications at enrichment plants." In 2009 1st International Conference on Advancements in Nuclear Instrumentation, Measurement Methods and their Applications (ANIMMA). IEEE, 2009. http://dx.doi.org/10.1109/animma.2009.5503777.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bryans, Jeremy, and John Derrick. "Stochastic Specification and Verification." In 3rd Irish Workshop on Formal Methods. BCS Learning & Development, 1999. http://dx.doi.org/10.14236/ewic/iwfm1999.3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Szewczuk, Stefan. "Environmental technology verification methods." In 2016 International Conference on the Domestic Use of Energy (DUE). IEEE, 2016. http://dx.doi.org/10.1109/due.2016.7466705.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Pakulin, Nikolay. "Dynamic verification of hybrid systems." In 2013 Tools & Methods of Program Analysis (TMPA). IEEE, 2013. http://dx.doi.org/10.1109/tmpa.2013.7163723.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Schreiner, Wolfgang. "Program Verification with the RISC ProofNavigator." In Teaching Formal Methods: Practice and Experience. BCS Learning & Development, 2006. http://dx.doi.org/10.14236/ewic/tfm2006.3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Kalyanov, Georgyi N. "The Business Processes Verification Methods." In 2018 Eleventh International Conference "Management of large-scale system development" (MLSD 2018). IEEE, 2018. http://dx.doi.org/10.1109/mlsd.2018.8551761.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Bazin, A. I., and M. S. Nixon. "Gait Verification Using Probabilistic Methods." In 2005 Seventh IEEE Workshops on Applications of Computer Vision (WACV/MOTION'05). IEEE, 2005. http://dx.doi.org/10.1109/acvmot.2005.55.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Gopalakrishnan, Ganesh L., and Robert M. Kirby. "Runtime verification methods for MPI." In Distributed Processing Symposium (IPDPS). IEEE, 2008. http://dx.doi.org/10.1109/ipdps.2008.4536437.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Verification methods"

1

Miller, C., C. Costantino, A. Philippacopoulos, and M. Reich. Verification of soil-structure interaction methods. Office of Scientific and Technical Information (OSTI), 1985. http://dx.doi.org/10.2172/5507213.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Jesse, C. A. Acceptance sampling methods for sample results verification. Office of Scientific and Technical Information (OSTI), 1993. http://dx.doi.org/10.2172/10104817.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Hu, Vincent C., Rick Kuhn, and Dylan Yaga. Verification and test methods for access control policiesmodels. National Institute of Standards and Technology, 2017. http://dx.doi.org/10.6028/nist.sp.800-192.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Elsner, J. H., K. L. Boyd, and J. A. Harter. Verification of Life Prediction Methods for Aging Aircraft Structures. Defense Technical Information Center, 1997. http://dx.doi.org/10.21236/ada339094.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Zhou, Nan, John Romankiewicz, David Fridley, and Nina Zheng. International comparison of product certification and verification methods for appliances. Office of Scientific and Technical Information (OSTI), 2012. http://dx.doi.org/10.2172/1225610.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Zhou, Nan, John Romankiewicz, David Fridley, and Nina Zheng. International Comparison of Product Certification and Verification Methods for Appliances. Office of Scientific and Technical Information (OSTI), 2012. http://dx.doi.org/10.2172/1225611.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Granderson, Jessica, Samir Touzani, Claudine Custodio, Michael Sohn, Samuel Fernandes, and David Jump. Assessment of Automated Measurement and Verification (M&V) Methods. Office of Scientific and Technical Information (OSTI), 2015. http://dx.doi.org/10.2172/1236174.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Smith, Leon E., Alex C. Misner, Brian K. Hatchell, and Michael M. Curtis. Enrichment Assay Methods Development for the Integrated Cylinder Verification System. Office of Scientific and Technical Information (OSTI), 2009. http://dx.doi.org/10.2172/1042567.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Budzich, Jeffrey. PR-685-184506-R07 Scour Equations and Field Verification Methods. Pipeline Research Council International, Inc. (PRCI), 2022. http://dx.doi.org/10.55274/r0012210.

Full text
Abstract:
Channel hydrology, hydraulics, and sediment composition are key variables to calculate vertical and horizontal channel movement. There are a variety of published methods available for estimating channel bed scour that were highlighted in the PRCI Phase A1 report. This report seeks to further the understanding of these methods by comparing computed scour derived from the published methods to actual measured observations in the field. Depth measurements were collected across a transect(s) at six study locations during a variety of flows over the 19-month study period (March 2020 through Septembe
APA, Harvard, Vancouver, ISO, and other styles
10

Logan, R., and C. Nitta. Comparing 10 Methods for Solution Verification, and Linking to Model Validation. Office of Scientific and Technical Information (OSTI), 2005. http://dx.doi.org/10.2172/15015103.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Verification methods' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography