Experimental validation of clock synchronization algorithms / Daniel L. Palumbo, R. Lynn Graham.

Authors: Palumbo, Daniel L., author

Subject Terms: Proving., Computer systems programs., Data processing., Synchronization., Electronic data processing -- Distributed processing., Computer programs -- Validation., Computer programs -- Verification., Electronic data processing -- Distributed processing., Real-time data processing., Synchronization.

Online Access: https://purl.fdlp.gov/GPO/gpo173720
https://ntrs.nasa.gov/api/citations/19920018346/downloads/19920018346.pdf

A theory of (linear-time) timed monitors

Authors: Amara, Mouloud, Bernardi, Giovanni, Aristide Foughali, Mohammed, Francalanza, Adrian, 39th European Conference on Object-Oriented Programming (ECOOP 2025)

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

Runtime enforcement of timed properties

Authors: Pinisetty, Srinivas

Contributors: STAR, ABES

Subject Terms: Logique temporelle, Théorie des automates, Vérification des logiciels, Real-Time data processing, Computer programs -- Verification, Tense (Logic), [INFO.INFO-AU] Computer Science [cs]/Automatic Control Engineering, Machine theory, Temps réel, Systems engineering, Ingénierie des systèmes

File Description: application/pdf

Access URL: https://theses.hal.science/tel-01185842v1

Centralized vs. decentralized monitors for hyperproperties

Authors: Aceto, Luca, Achilleos, Antonis, Anastasiadi, Elli, Francalanza, Adrian, Gorla, Daniele, Wagemaker, Jana

Subject Terms: Computer programs -- Verification, Computer science, Electronic data processing -- Distributed processing, Logic, Symbolic and mathematical, Computer security

Relation: Aceto, L., Achilleos, A., Anastasiadi, E., Francalanza, A., Gorla, D., & Wagemaker, J. (2025). Centralized vs decentralized monitors for hyperproperties. ACM Transactions on Computational Logic, 27(1), doi:10.1145/3767738; https://www.um.edu.mt/library/oar/handle/123456789/141715

Availability: https://www.um.edu.mt/library/oar/handle/123456789/141715
https://doi.org/10.1145/3767738

Structured arrows : a type-based framework for structured parallelism

Authors: Castro, David

Contributors: 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.blethoshyku.com/concern/thesis_or_dissertations/759337

Preface to the JOT special issue on VORTEX at ECOOP 2022 : selected papers

Authors: Ancona, Davide, Francalanza, Adrian

Subject Terms: Editorials, Application software -- Development, Computer programs -- Verification, Computer multitasking, Computer monitors

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

Availability: https://www.um.edu.mt/library/oar/handle/123456789/139107
https://doi.org/10.5381/jot.2024.23.2.e1

Runtime instrumentation for reactive components (artifact)

Authors: Aceto, Luca, Attard, Duncan Paul, Francalanza, Adrian, Ingólfsdóttir, Anna

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

Program Verification with Separation Logic and Rely Guarantee

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: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/607698

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

Authors: Hanna, Ziyad

Contributors: Melham, Tom

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

Access URL: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/560923

The Omnibus language and integrated verification approach

Authors: Wilson, Thomas

Contributors: 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: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/513611

Exploring the Link Between Test Suite Quality and Automatic Specification Inference

Authors: Chircop, Luke, Colombo, Christian, Micallef, Mark, 2nd International Workshop on Pre- and Post-Deployment Verification Techniques

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, 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS)

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

Verification and validation benchmarks.

Contributors: Trucano, Timothy

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

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

Improving Software Quality through Syntax and Semantics Verification of Requirements Models

Authors: Gaither, Danielle

Contributors: Bryant, Barrett R., Do, Hyunsook, Bryce, Renee, Gray, Jeff

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

File Description: Text

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

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

Reachability and escape problems in linear dynamical systems

Authors: Dcosta, J

Contributors: 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