Log in

Relevant bibliographies by topics / Model verification and completeness

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Model verification and completeness'

Author: Grafiati

Published: 4 June 2021

Last updated: 13 February 2022

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 'Model verification and completeness.'

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 "Model verification and completeness"

1

Calvanese, Diego, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. "Model Completeness, Uniform Interpolants and Superposition Calculus." Journal of Automated Reasoning 65, no. 7 (2021): 941–69. http://dx.doi.org/10.1007/s10817-021-09596-x.

Full text

Abstract:

AbstractUniform interpolants have been largely studied in non-classical propositional logics since the nineties; a successive research line within the automated reasoning community investigated uniform quantifier-free interpolants (sometimes referred to as “covers”) in first-order theories. This further research line is motivated by the fact that uniform interpolants offer an effective solution to tackle quantifier elimination and symbol elimination problems, which are central in model checking infinite state systems. This was first pointed out in ESOP 2008 by Gulwani and Musuvathi, and then b

APA, Harvard, Vancouver, ISO, and other styles

2

Dong, Ling Ling, Yong Guan, Xiao Juan Li, Zhi Ping Shi, Jie Zhang, and Wei Hua. "Model Checking for SpaceWire Error Detection Module." Applied Mechanics and Materials 241-244 (December 2012): 3020–25. http://dx.doi.org/10.4028/www.scientific.net/amm.241-244.3020.

Full text

Abstract:

Considerable attention has been devoted to prove the correctness of programs. Formal verification overcomes the incompleteness by applying mathematical methods to verify a design. SpaceWire is a well known communication standard. For safety-critical applications an approach is needed to validate the completeness of SpareWire design. This paper addresses formal verification of SpareWire error detection module. The system model was constructed by Kripke structure, and the properties were presented by linear temporal logic (LTL). Compared the verification of LTL with CTL (branch temporal logic),

APA, Harvard, Vancouver, ISO, and other styles

3

Hua, Wei, Xiao Juan Li, Yong Guan, Zhi Ping Shi, Jie Zhang, and Ling Ling Dong. "Formal Verification for SpaceWire Data Flow Control Using Model Checking." Applied Mechanics and Materials 241-244 (December 2012): 2466–70. http://dx.doi.org/10.4028/www.scientific.net/amm.241-244.2466.

Full text

Abstract:

SpaceWire is a high-speed, full-duplex serial bus standard which is applied in aerospace, so its functions require high accuracy. The traditional methods of verification, such as simulation and test, are not complete. In order to prove the design of the SpaceWire faithfully implemented the SpaceWire protocol’s specification, we presented our experience on the model checking of SpaceWire data flow control using the Cadence SMV tool. It overcomes the incompleteness of traditional verification. And by injecting the errors to ensure the accuracy of the artificial extraction properties and complete

APA, Harvard, Vancouver, ISO, and other styles

4

Wang, Huiwen, Huibiao Zhu, Lili Xiao, and Yuan Fei. "Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP." International Journal of Software Engineering and Knowledge Engineering 28, no. 11n12 (2018): 1657–77. http://dx.doi.org/10.1142/s0218194018400223.

Full text

Abstract:

Software-Defined Networking (SDN) is an emerging architecture of computer networking. OpenFlow is considered as the first and currently most popular standard southbound interface of SDN. It is a communication protocol which enables the SDN controller to directly interact with the forwarding plane, which makes the network more flexible and programmable. The promising and widespread use makes the reliability of OpenFlow important. The OpenFlow bundle mechanism is a new mechanism proposed by OpenFlow protocol to guarantee the completeness and consistency of the messages transmitted between SDN de

APA, Harvard, Vancouver, ISO, and other styles

5

Chun, Seung Su. "Effective Extraction of State Invariant for Software Verification." Applied Mechanics and Materials 752-753 (April 2015): 1097–104. http://dx.doi.org/10.4028/www.scientific.net/amm.752-753.1097.

Full text

Abstract:

In software design of complex systems, more time and effort are spent on verification than on constructions. Model checking for software verification techniques offer a large potential to obtain and early integration of verification in the design process. This paper describes how to easily specify and the software properties and to understand the software generating automatically invariant. In this paper deal with issue that state invariant is a property that holds in every reachable state. Not only can be used in understanding and analysis of complex software systems. In addition, it can be u

APA, Harvard, Vancouver, ISO, and other styles

6

Kang, Y., Y. Rong, and J. A. Yang. "Geometric and Kinetic Model Based Computer-Aided Fixture Design Verification." Journal of Computing and Information Science in Engineering 3, no. 3 (2003): 187–99. http://dx.doi.org/10.1115/1.1607352.

Full text

Abstract:

Computer-aided fixture design (CAFD) techniques have advanced to the point that fixture configurations can be generated automatically, for both modular fixtures and dedicated fixtures. Computer-aided fixture design verification (CAFDV) is a technique for verifying and improving existing fixture designs. This paper introduces a first comprehensive CAFDV framework which uses both geometric and kinetic models to verify locating completeness, locating accuracy, and fixturing stability. The models can be also used for locating tolerance assignment and the determination of minimum clamping force req

APA, Harvard, Vancouver, ISO, and other styles

7

Novitsky, A. V., and V. A. Reznichenko. "Model of information object for digital library and its verification." PROBLEMS IN PROGRAMMING, no. 2-3 (September 2020): 031–38. http://dx.doi.org/10.15407/pp2020.02-03.031.

Full text

Abstract:

An approach for formal verification of UML 2.0 using mapping OWL-DL in UML 2.0 is proposed. As a result, an original approach for mapping OWL-DL to UML 2.0 through description logic has been proposed. The completeness of the mapping of UML-OWL through stereotypes and labeled UML 2.0 values at the level of M0, M1 of the MOF metamodel is provided. A model of the information object (IO) for the semantic electronic library, which is described by using the UML language, is proposed. The proposed IO model was also verified by mapping it into OWL and then validating the constructed ontology by using

APA, Harvard, Vancouver, ISO, and other styles

8

Giordano, L., A. Martelli, and D. T. Dupre. "Achieving completeness in the verification of action theories by Bounded Model Checking in ASP." Journal of Logic and Computation 25, no. 6 (2013): 1307–30. http://dx.doi.org/10.1093/logcom/ext067.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Liu, Jin Hang, Hong Xia Xia, and Heng Bo Zhang. "A Research into the UML Legend in the Waterfall Model Development." Applied Mechanics and Materials 519-520 (February 2014): 322–28. http://dx.doi.org/10.4028/www.scientific.net/amm.519-520.322.

Full text

Abstract:

The ambiguity and dynamics of the users demand in the requirement phase of the classic waterfall model, as well as the information errors caused by the professional psychological differences between the end-users and software developers threaten the software development process and the quality of the final outcome. This paper makes a deep analysis on the dependence of manual examination and verification among users and developers, and formulates a reasonable solution to improve the accuracy, completeness in the requirements phase by leading in the UML pattern.

APA, Harvard, Vancouver, ISO, and other styles

10

Giero, Mariusz. "Propositional Linear Temporal Logic with Initial Validity Semantics." Formalized Mathematics 23, no. 4 (2015): 379–86. http://dx.doi.org/10.1515/forma-2015-0030.

Full text

Abstract:

Summary In the article [10] a formal system for Propositional Linear Temporal Logic (in short LTLB) with normal semantics is introduced. The language of this logic consists of “until” operator in a very strict version. The very strict “until” operator enables to express all other temporal operators. In this article we construct a formal system for LTLB with the initial semantics [12]. Initial semantics means that we define the validity of the formula in a model as satisfaction in the initial state of model while normal semantics means that we define the validity as satisfaction in all states o

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Model verification and completeness"

1

Aljarbouh, Ayman. "Accelerated simulation of hybrid systems : method combining static analysis and run-time execution analysis." Thesis, Rennes 1, 2017. http://www.theses.fr/2017REN1S033/document.

Full text

Abstract:

Cette thèse apporte quatre principales contributions : une méthode d'éliminateur de phénomènes de ''chattering'' d'automates hybrides, par calcul d'une dynamique régulière équivalente à l'aide d'une convexification de Filippov ; une méthode d'accélération de la simulation de certains comportements Zénon, dits géométriques, pour certains automates hybrides ; des preuves de préservation par les méthodes ci-dessus d'une sémantique des automates hybrides à base d'analyse non-standard ; développement de trois logiciels prototypes, l'un sous la forme d'une bibliothèque Simulink, le second sous la fo

APA, Harvard, Vancouver, ISO, and other styles

2

Darr, Timothy, Ronald Fernandes, John Hamilton, and Charles Jones. "Verification, Validation and Completeness Support for Metadata Traceability." International Foundation for Telemetering, 2010. http://hdl.handle.net/10150/605983.

Full text

Abstract:

ITC/USA 2010 Conference Proceedings / The Forty-Sixth Annual International Telemetering Conference and Technical Exhibition / October 25-28, 2010 / Town and Country Resort & Convention Center, San Diego, California<br>The complexity of modern test and evaluation (T&E) processes has resulted in an explosion of the quantity and diversity of metadata used to describe end-to-end T&E processes. Ideally, it would be possible to integrate metadata in such a way that disparate systems can seamlessly access the metadata and easily interoperate with other systems. Unfortunately, there are several barrie

APA, Harvard, Vancouver, ISO, and other styles

3

Fogelqvist, Petter. "Verification of completeness and consistency in knowledge-based systems : A design theory." Thesis, Uppsala universitet, Informationssystem, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-168321.

Full text

Abstract:

Verification of knowledge-bases is a critical step to ensure the quality of a knowledge-based system. The success of these systems depends heavily on how qualitative the knowledge is. Manual verification is however cumbersome and error prone, especially for large knowledge-bases. This thesis provides a design theory, based upon the suggested framework by Gregor and Jones (2007). The theory proposes a general design of automated verification tools, which have the abilities of verifying heuristic knowledge in rule-based systems utilizing certainty factors. Included is a verification of completen

APA, Harvard, Vancouver, ISO, and other styles

4

Gonzalez, Perez Carlos Alberto. "Pragmatic model verification." Thesis, Nantes, Ecole des Mines, 2014. http://www.theses.fr/2014EMNA0189/document.

Full text

Abstract:

L’Ingénierie Dirigée par les Modèles (IDM) est une approche populaire pour le développement logiciel qui favorise l’utilisation de modèles au sein des processus de développement. Dans un processus de développement logiciel base sur l’IDM, le logiciel est développé en créant des modèles qui sont transformés successivement en d’autres modèles et éventuellement en code source. Quand l’IDM est utilisée pour le développement de logiciels complexes, la complexité des modèles et des transformations de modèles augmente, risquant d’affecter la fiabilité du processus de développement logiciel ainsi que

APA, Harvard, Vancouver, ISO, and other styles

5

Pace, Kyongsuk P. "FNMOC model verification system." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1998. http://handle.dtic.mil/100.2/ADA349774.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Maxwell, Steve. "O-minimality and model completeness of expansions of the real ordered field." Thesis, University of Oxford, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.301387.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Meedeniya, Dulani Apeksha. "Correct model-to-model transformation for formal verification." Thesis, University of St Andrews, 2013. http://hdl.handle.net/10023/3691.

Full text

Abstract:

Modern software systems have increasingly higher expectations on their reliability, in particular if the systems are critical and real-time. The development of these complex software systems requires strong modelling and analysis methods including quantitative modelling and formal verification. Unified Modelling Language (UML) is a widely used and intuitive graphical modelling language to design complex systems, while formal models provide a theoretical support to verify system design models. However, UML models are not sufficient to guarantee correct system designs and formal models, on the o

APA, Harvard, Vancouver, ISO, and other styles

8

Florio, Salvatore. "Completeness of the Predicate Calculus in the Basic Theory of Predication." The Ohio State University, 2010. http://rave.ohiolink.edu/etdc/view?acc_num=osu1281927327.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Hackwell, Stuart G. "Verification of an agricultural land drainage model." Thesis, McGill University, 1988. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=61699.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Chucri, Farès. "Exploiting Model Structure in CEGAR Verification Method." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2012. http://tel.archives-ouvertes.fr/tel-01011163.

Full text

Abstract:

Les logiciels sont désormais un des composants essentiels des équipements modernes. Ils sont responsables de leur sûreté et fiabilité. Par sûreté, nous entendons que le système garantit que ''rien de dangereux n'arrive jamais''. Ce type de propriété peut se réduire à un problème d'accessibilité: pour démontrer la propriété il suffit de démontrer qu'un ensemble d'états ''dangereux'' ne sont pas atteignables. Ceci est particulièrement important pour les systèmes critiques: les systèmes dont une défaillance peut mettre en jeu des vies humaines ou l'économie d'une entreprise. Afin de garantir un n

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Model verification and completeness"

1

Pace, Kyongsuk P. FNMOC model verification system. Naval Postgraduate School, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Beyer, Dirk, and Damien Zufferey, eds. Verification, Model Checking, and Abstract Interpretation. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-39322-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Zuck, Lenore D., Paul C. Attie, Agostino Cortesi, and Supratik Mukhopadhyay, eds. Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36384-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Jobstmann, Barbara, and K. Rustan M. Leino, eds. Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-49122-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Dillig, Isil, and Jens Palsberg, eds. Verification, Model Checking, and Abstract Interpretation. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-73721-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Logozzo, Francesco, Doron A. Peled, and Lenore D. Zuck, eds. Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-78163-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Jhala, Ranjit, and David Schmidt, eds. Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-18275-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Barthe, Gilles, and Manuel Hermenegildo, eds. Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-11319-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Bouajjani, Ahmed, and David Monniaux, eds. Verification, Model Checking, and Abstract Interpretation. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-52234-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Jones, Neil D., and Markus Müller-Olm, eds. Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-540-93900-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Model verification and completeness"

1

Kroening, Daniel, Joël Ouaknine, Ofer Strichman, Thomas Wahl, and James Worrell. "Linear Completeness Thresholds for Bounded Model Checking." In Computer Aided Verification. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22110-1_44.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Calvanese, Diego, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. "From Model Completeness to Verification of Data Aware Processes." In Lecture Notes in Computer Science. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-22102-7_10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Marcja, Annalisa, and Carlo Toffalori. "Model Completeness." In Trends in Logic. Springer Netherlands, 2003. http://dx.doi.org/10.1007/978-94-007-0812-9_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Roşu, Grigore. "Finite-Trace Linear Temporal Logic: Coinductive Completeness." In Runtime Verification. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-46982-9_21.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Namjoshi, Kedar S., and Richard J. Trefler. "On the Completeness of Compositional Reasoning." In Computer Aided Verification. Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/10722167_14.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Zhu, Zheng, and C.-J. Seger. "The completeness of a hardware inference system." In Computer Aided Verification. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58179-0_62.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Overman, David M., and David R. Clarke. "Verification of Data Completeness and Accuracy." In Pediatric and Congenital Cardiac Care. Springer London, 2014. http://dx.doi.org/10.1007/978-1-4471-6587-3_29.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Razniewski, Simon, Marco Montali, and Werner Nutt. "Verification of Query Completeness over Processes." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40176-3_13.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Gass, Saul I., and Carl M. Harris. "Model verification." In Encyclopedia of Operations Research and Management Science. Springer US, 2001. http://dx.doi.org/10.1007/1-4020-0611-x_634.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Davis, Rob. "Model Verification." In Business Process Modelling with ARIS: A Practical Guide. Springer London, 2001. http://dx.doi.org/10.1007/978-1-4471-0321-9_18.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Model verification and completeness"

1

Nazaruka, Erika, Viktorija Ovchinnikova, Gundars Alksnis, and Uldis Sukovskis. "Verification of BPMN Model Functional Completeness by using the Topological Functioning Model." In Special Session on Model-Driven Innovations for Software Engineering. SCITEPRESS - Science and and Technology Publications, 2016. http://dx.doi.org/10.5220/0005930903490358.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Jensen, Gullik A., and Thor I. Fossen. "Mathematical Models for Model-Based Control in Offshore Pipelay Operations." In ASME 2009 28th International Conference on Ocean, Offshore and Arctic Engineering. ASMEDC, 2009. http://dx.doi.org/10.1115/omae2009-79372.

Full text

Abstract:

This paper considers mathematical models for model-based controller design in offshore pipelay operations. Three classes of models for control design are discussed, real-world models suitable for controller design verification, controller and observer models which are used on-line in the control system implementation. The control application place requirements on the model with respect to the computational time, dynamic behavior, stability and accuracy. Models such as the beam model, two catenary models, as well as general finite element (FE) models obtained from computer programs were not abl

APA, Harvard, Vancouver, ISO, and other styles

3

Fields, Malcolm C., and D. C. Anderson. "Hybrid Feature Extraction for Machining Applications." In ASME 1993 Design Technical Conferences. American Society of Mechanical Engineers, 1993. http://dx.doi.org/10.1115/detc1993-0399.

Full text

Abstract:

Abstract A hybrid feature extraction algorithm for extracting cavity features for machining applications is presented. The algorithm operates on both a feature-based solid model of a part and its corresponding boundary representation solid model. Information available from both part representations is used, offering a more robust and efficient solution for some of the critical limitations of current feature extraction algorithms, such as verification of completeness, computation of cavity volumes, and maintenance of design information. The hybrid feature extraction algorithm combines the stren

APA, Harvard, Vancouver, ISO, and other styles

4

Akintunde, Michael E., Elena Botoeva, Panagiotis Kouvaros, and Alessio Lomuscio. "Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems." In 17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}. International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/kr.2020/3.

Full text

Abstract:

We investigate the problem of verifying the strategic properties of multi-agent systems equipped with machine learning-based perception units. We introduce a novel model of agents comprising both a perception system implemented via feed-forward neural networks and an action selection mechanism implemented via traditional control logic. We define the verification problem for these systems against a bounded fragment of alternating-time temporal logic. We translate the verification problem on bounded traces into the feasibility problem of mixed integer linear programs and show the soundness and c

APA, Harvard, Vancouver, ISO, and other styles

5

Littlewood, David, Mike Hillman, Edouard Yreux, Joseph Bishop, Frank Beckwith, and Jiun-Shyan Chen. "Implementation and Verification of RKPM in the Sierra/SolidMechanics Analysis Code." In ASME 2015 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/imece2015-51939.

Full text

Abstract:

The reproducing kernel particle method (RKPM) is a meshfree method for computational solid mechanics that can be tailored for an arbitrary order of completeness and smoothness. The primary advantage of RKPM relative to standard finite-element (FE) approaches is its capacity to model large deformations, material damage, and fracture. Additionally, the use of a meshfree approach offers great flexibility in the domain discretization process and reduces the complexity of mesh modifications such as adaptive refinement. We present an overview of the RKPM implementation in the Sierra/SolidMechanics a

APA, Harvard, Vancouver, ISO, and other styles

6

Williams, Paul T., B. Richard Bass, Terry L. Dickson, and Hilda B. Klasky. "LEAPOR: A Computer Code for Leakage-Rate Calculations for Cracks in Cooling Water Piping Systems." In ASME 2017 Pressure Vessels and Piping Conference. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/pvp2017-65263.

Full text

Abstract:

This paper describes the development of a new computer code called Leak Analysis of Piping - Oak Ridge (LEAPOR) which calculates estimates for the leakage rate of water escaping from postulated through-wall cracks in a piping segment of a nuclear power plant cooling water system. The ability of nuclear power plant control and safety systems to detect a piping leak prior to breakage is a fundamental requirement of the leak-before-break concept. The design and assessment of leak-detection systems, therefore, requires the determination of through-wall crack leakage rates covering a significant ra

APA, Harvard, Vancouver, ISO, and other styles

7

Tatsuta, Makoto, Wei-Ngan Chin, and Mahmudul Faisal Al Ameen. "Completeness of Pointer Program Verification by Separation Logic." In 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods. IEEE, 2009. http://dx.doi.org/10.1109/sefm.2009.33.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Le, Son N., Sudarshan K. Srinivasan, and Scott C. Smith. "Formal Verification of Completion-Completeness for NCL Circuits." In 2020 IEEE 63rd International Midwest Symposium on Circuits and Systems (MWSCAS). IEEE, 2020. http://dx.doi.org/10.1109/mwscas48704.2020.9184603.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Yan, Shiyu, Hua Liu, Zhaohui Liu, Xiaohua Yang, Meng Li, and Zhi Chen. "A New Safety Analysis Method of Control Rod Ejection Accident in PWR NPP Based on the Failure of Causal Relationship." In 2018 26th International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/icone26-81879.

Full text

Abstract:

In view of control rod ejection accident of the traditional pressurized water reactor, the safety thought of the design phase is to validate reliability and availability of DCS I&C in the severe accidents. Now the most important and effective means is simulation calculation and analysis. It is applied for the imaginary accident of the nuclear power plant by using computer software. The new safety analysis steps based on the analysis of cause-and-effect logic failure: firstly, the composition and working principle of control rod drive mechanism is analyzed; secondly, a list of factors-the d

APA, Harvard, Vancouver, ISO, and other styles

10

Chia-Mu Yu, Guo-Kai Ni, Ing-Yi Chen, Erol Gelenbe, and Sy-Yen Kuo. "Top-k query result completeness verification in sensor networks." In 2013 ICC - 2013 IEEE International Conference on Communication Workshop (ICC). IEEE, 2013. http://dx.doi.org/10.1109/iccw.2013.6649387.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Model verification and completeness"

1

Myers, Rodney S., and Geetha Mandava. Retention Model Verification. Defense Technical Information Center, 2004. http://dx.doi.org/10.21236/ada421782.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Marzban, Caren, David W. Jones, and Scott A. Sandgathe. Verification-Based Model Tuning. Defense Technical Information Center, 2014. http://dx.doi.org/10.21236/ada602312.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Marzban, Caren, David W. Jones, and Scott A. Sandgathe. Verification-Based Model Tuning. Defense Technical Information Center, 2013. http://dx.doi.org/10.21236/ada598028.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Marzban, Caren, David W. Jones, and Scott A. Sandgathe. Verification-Based Model Tuning. Defense Technical Information Center, 2012. http://dx.doi.org/10.21236/ada574125.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Yan, Yiton T. Beamline Model Verification Using Model Independent Analysis. Office of Scientific and Technical Information (OSTI), 2000. http://dx.doi.org/10.2172/763822.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Sampson P. Verification of the BTA Model. Office of Scientific and Technical Information (OSTI), 1996. http://dx.doi.org/10.2172/1132421.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Edenburn, M. W., M. L. Bunting, and A. C. Jr Payne. CTBT Integrated Verification System Evaluation Model. Office of Scientific and Technical Information (OSTI), 1997. http://dx.doi.org/10.2172/548603.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Gluch, David P., Santiago Comella-Dorda, John Hudak, Grace Lewis, and John Walker. Model-Based Verification: An Engineering Practice. Defense Technical Information Center, 2002. http://dx.doi.org/10.21236/ada407768.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Nassif, Michael P., and Mark T. Pronobis. VHDL Model Verification and Acceptance Procedure,. Defense Technical Information Center, 1995. http://dx.doi.org/10.21236/ada304607.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

B.H.Thacker, S.W.Doebling, F.M.Hemez, M.C. Anderson, J.E. Pepin, and E.A. Rodriguez. Concepts of Model Verification and Validation. Office of Scientific and Technical Information (OSTI), 2004. http://dx.doi.org/10.2172/835920.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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!