Search Results - "Computer Programs - Verification"

A theory of (linear-time) timed monitors

Authors: Amara, Mouloud Bernardi, Giovanni Aristide Foughali, Mohammed et al.

Subject Terms: Computer programs -- Verification, Logic, Symbolic and mathematical, Parallel programming (Computer science), Computer software -- Verification, Real-time data processing

Relation: https://www.um.edu.mt/library/oar/handle/123456789/137312

Availability: https://www.um.edu.mt/library/oar/handle/123456789/137312
https://doi.org/10.4230/LIPIcs.ECOOP.2025.1

On the role of explainability and uncertainty in ensuring safety of AI applications

Authors: Falconmore, Rhiannon Kwiatkowska, Marta

Contributors: Falconmore, Rhiannon Kwiatkowska, Marta

Subject Terms: Computer programs--Verification, Neural networks (Computer science)

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.864889

Computer Aided Verification

Authors: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Subjects: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Runtime instrumentation for reactive components (artifact)

Authors: Aceto, Luca Attard, Duncan Paul Francalanza, Adrian et al.

Subject Terms: Software engineering -- Testing, Computer programs -- Verification, ERLANG (Computer program language), Programming languages (Electronic computers), Parallel programming (Computer science)

Relation: https://www.um.edu.mt/library/oar/handle/123456789/131245

Availability: https://www.um.edu.mt/library/oar/handle/123456789/131245
https://doi.org/10.4230/DARTS.10.2.1

Structured arrows : a type-based framework for structured parallelism

Authors: Castro, David Hammond, Kevin

Contributors: Castro, David Hammond, Kevin

Subject Terms: 005.3, Parallel computing, Algorithmic skeletons, Structured recursion, Hylomorphisms, Type and effect systems, Cost models, QA76.642C2, Parallel programs (Computer programs), Parallel programs (Computer programs)--Verification, Parallel programs (Computer programs)--Costs

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.759337

Improving Software Quality through Syntax and Semantics Verification of Requirements Models

Authors: Gaither, Danielle Bryant, Barrett R. Do, Hyunsook et al.

Contributors: Gaither, Danielle Bryant, Barrett R. Do, Hyunsook et al.

Subject Terms: requirements analysis, formal methods, Computer Science, Computer programs -- Verification, Semantics -- Methodology, Requirements engineering -- Automation, software engineering

File Description: Text

Program Verification with Separation Logic and Rely Guarantee : a thesis submitted to the Victoria University of Wellington in fulfilment of the requirements for the degree of Master of Science in Computer Science

Authors: Tabilog, Allan Martinez

Subjects: Logic programming., Logic design., Computer programs Verification., Parallel programming (Computer science), Programmation logique., Structure logique., Logiciels Vérification., Programmation parallèle (Informatique), Computer programs Verification, Logic design, Logic programming, Parallel programming (Computer science)

Index Terms: Logic, Program verification, Concurrency, dissertations., Academic theses, Academic theses., Thèses et écrits académiques.

URL: http://researcharchive.vuw.ac.nz/handle/10063/6271

Thermal verification of programs

Authors: Koskinen, Eric John

Subject Terms: 004, Computer programs--Verification

Access URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.607698

A symbolic execution framework for algorithm-level modelling and verification of computer microarchitecture

Authors: Hanna, Ziyad Melham, Tom

Contributors: Hanna, Ziyad Melham, Tom

Subject Terms: 004.22, Microprogramming, Computer programs--Verification, Computer systems--Verification

Access URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.560923

Exploring the Link Between Test Suite Quality and Automatic Specification Inference

Authors: Chircop, Luke Colombo, Christian Micallef, Mark et al.

Source: Electronic Proceedings in Theoretical Computer Science, Vol 254, Iss Proc. PrePost 2017, Pp 44-56 (2017)

Subject Terms: Formal methods (Computer science), FOS: Computer and information sciences, Computer Science - Logic in Computer Science, QA75.5-76.95, 02 engineering and technology, Computer software -- Testing, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Computer Science - Software Engineering, Electronic computers. Computer science, Computer programs -- Verification, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Software engineering -- Case studies, Mathematics

Access URL: https://arxiv.org/pdf/1708.07231
http://arxiv.org/abs/1708.07231
https://doaj.org/article/0e18ce4785f14b179d5afef521878f89
https://www.um.edu.mt/library/oar//handle/123456789/30667

Engineering Adaptive User Interfaces Using Monitoring-Oriented Programming

Authors: Buhagiar, Aaron John Pace, Gordon J. Ebejer, Jean Paul et al.

Source: 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS). :200-207

Subject Terms: Software engineering, Self-adaptive software, Computer programs -- Verification, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, User interfaces (Computer systems), 01 natural sciences

Access URL: https://www.um.edu.mt/library/oar/bitstream/123456789/27699/3/Engineering_adaptive_user_interfaces_using_monitoring_oriented_programming_2017.pdf
https://www.um.edu.mt/library/oar//handle/123456789/27699

Reachability and escape problems in linear dynamical systems

Authors: Dcosta, J Worrell, J Kiefer, S

Contributors: Dcosta, J Worrell, J Kiefer, S

Subject Terms: Computational complexity, Algorithms, Decidability (Mathematical logic), Computer programs--Verification, Verification (Logic), Flows (Differentiable dynamical systems)

Availability: https://doi.org/10.5287/ora-5rvexegxg
https://ora.ox.ac.uk/objects/uuid:9417cb5b-d386-4164-937c-437ec5a88ad6

The Omnibus language and integrated verification approach

Authors: Wilson, Thomas Maharaj, Savi Clark, Robert George

Contributors: Wilson, Thomas Maharaj, Savi Clark, Robert George

Subject Terms: 005.13, assertion-based verification, run-time assertion checking, extended static checking, full formal verification, verification policies, Omnibus, Omnibus (Computer program language), Computer programs Verification

Access URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.513611

Verification and validation benchmarks.

Contributors: Trucano, Timothy

File Description: Medium: ED; Size: 67 p.

Access URL: http://www.osti.gov/scitech/servlets/purl/901974

Verification of FLAC Mohr-Coulomb model for granular materials under monotonic loading

Additional Titles: Dam Safety Office ; DSO-14-02
DSO Collection

Authors: Lee, Kevin Zeh-Zon.

Subjects: Stress-strain curves Computer simulation., Strength of materials Mathematical models., Fracture mechanics Mathematical models., Computer programs Verification., Granular materials., Strains and stresses., Deformations (Mechanics), Soil mechanics Mathematical models., Earth dams., Dam safety., Computer software Verification., Courbes contrainte-déformation Simulation par ordinateur., Résistance des matériaux Modèles mathématiques., Mécanique de la rupture Modèles mathématiques., Logiciels Vérification., Matériaux granulaires., Contraintes (Mécanique), Déformations (Mécanique), Mécanique des sols Modèles mathématiques., Barrages Sécurité., stress., strain., deformation., Computer software Verification, Computer programs Verification, Dam safety, Deformations (Mechanics), Earth dams, Fracture mechanics Mathematical models, Granular materials, Soil mechanics Mathematical models, Strains and stresses, Strength of materials Mathematical models, Mohr failure theory.

URL: http://worldcat.org/oclc/896129455/viewonline

A domain specific language based approach for generating deadlock-free parallel load scheduling protocols for distributed systems

Authors: Adhikari, Pooja

Subjects: Parallel programs (Computer programs) Verification., Domain-specific programming languages., Loaders (Computer programs) Security measures Simulation methods., Programmes parallèles (Logiciels) Vérification., Langages orientés problème (Informatique), Chargeurs (Informatique) Sécurité Mesures Méthodes de simulation., Domain-specific programming languages., Parallel programs (Computer programs) Verification.

Index Terms: Asynchronous parallel applications, Load Scheduling Protocols, Domain specific language, Model checking, Academic Dissertation, Electronic resources., Electronic theses/dissertations., Dissertations., Academic theses., Academic theses., Thèses et écrits académiques.

URL: https://hdl.handle.net/11668/19343

Software requirements elicitation, verification, and documentation : an ontology based approach

Authors: Elliott, Robert A.

Subjects: Requirements engineering., Software documentation Methodology., Ontologies (Information retrieval), Computer software Development., Computer software Verification., Software engineering., Computer programs Verification., Ingénierie des exigences., Logiciels Documentation Méthodologie., Ontologies (Recherche de l'information), Logiciels Vérification., Génie logiciel., Computer programs Verification, Computer software Development, Computer software Verification, Ontologies (Information retrieval), Requirements engineering, Software engineering

Index Terms: SWEBOK, Systematic review, Software engineering, Requirements verification, Requirements specification, Requirements engineering, Ontology engineering, Ontology, Electronic resources., Electronic theses/dissertations., Dissertations., dissertations., Academic theses, Academic theses., Thèses et écrits académiques.

URL: https://hdl.handle.net/11668/19477

Deductive verification of a Byzantine agreement protocol

Additional Titles: Karlsruhe reports in informatics, 2010,7 2190-4782

Authors: Krenický, Roman.

Subjects: Byzantine agreement protocols (Computer network protocols) Evaluation., Byzantine agreement protocols (Computer network protocols) Computer simulation., Computer programs Verification., Computer software Verification., Logiciels Vérification., Computer software Verification, Computer programs Verification

URL: http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/1978796

LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)

Authors: Colombo, Christian Pace, Gordon J. Schneider, Gerardo et al.

Source: 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods. :33-37

Subject Terms: Aspect-oriented programming, Computer software -- Development, Computer programs -- Verification, 0202 electrical engineering, electronic engineering, information engineering, Real-time data processing, 02 engineering and technology

Access URL: https://www.um.edu.mt/library/oar/bitstream/123456789/24154/1/LARVA_---_Safer_Monitoring_of_Real-Time_Java_Progr.pdf
https://www.um.edu.mt/library/oar//handle/123456789/24154

Runtime verification using Valour

Authors: Azzopardi, Shaun Colombo, Christian Ebejer, Jean Paul et al.

Subject Terms: Computer programs -- Verification, Event processing (Computer science), Electronic funds transfers -- Security measures

Relation: https://www.um.edu.mt/library/oar//handle/123456789/27800

Availability: https://www.um.edu.mt/library/oar//handle/123456789/27800