Sage Journals: Discover world-class research

Retricted access

Research article

First published 2008-11

Automatic software verification for robotics

Jacopo Mantovani

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1994-11

The Use of Case Tools as an Aid to the Verification of Complex Software Systems

David W. Gledhill

SIMULATION

Retricted access

Research article

First published 2011-2

Software architectural modelling and verification: a Petri net and temporal logic approach

Jiacun Wang, Xianzhong Zhou, Junhua Ding

Transactions of the Institute of Measurement and Control

Open access

Research article

First published 2009-2

Dependence Graph Based Verification and Synthesis of Hardware/Software Co-Designs with SAT Related Formulation

Masahiro Fujita, Kenshu Seto, Thanyapat Sakunkonchak

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2014-12-16

Machine-generated algorithms,proofs and software for the batch verification of digital signature schemes

Joseph A. Akinyele, Matthew Green, Susan Hohenberger [...]

Journal of Computer Security

Free access

Research article

First published 2024-3

Analysis of available software for material tracking at mines: An approach for data verification and reconciliation

Monica N.M. Cudjoe

Mining Technology: Transactions of the Institutions of Mining and Metallurgy

Retricted access

Research article

First published 1995-1

How to Validate a Computer System

Mary Lou Cardie, Nancy G. Tucker

Therapeutic Innovation & Regulatory Science

Retricted access

Research article

First published 2023-10

Verification of software-based preoperative simulation of flow diverters in clinical cases

Yixuan Wang, Xinjian Yang, Wei Zhu [...]

Interventional Neuroradiology

Retricted access

Research article

First published 1994-6

Daylighting contribution in interior lighting: Experimental verification of software simulation results

L. Bellia, A. Cesarano, S. Sibilio

Lighting Research & Technology

Retricted access

Research article

First published 2018-3

Verification of organ doses calculated by a dose monitoring software tool based on Monte Carlo Simulation in thoracic CT protocols

Nika Guberina, Saravanabavaan Suntharalingam, Kai Naßenstein [...]

Acta Radiologica

Search results