Results 61 to 70 of about 253,484 (163)

Software Verification Witnesses 2.0

AbstractVerification witnesses are now widely accepted objects used not only to confirm or refute verification results, but also for general exchange of information among various tools for program verification. The original format for witnesses is based on GraphML, and it has some known issues including a semantics based on control-flow automata ...
Paulína Ayaziová, Dirk Beyer, Marian Lingsch-Rosenfeld, Martin Spiessl, Jan Strejček   +4 more
openaire   +1 more source

Software verification

Verication of all computational models: The open-source software will be madepublicly available.
openaire   +1 more source

An artificial intelligence-powered digital pathology platform to support large-scale deworming programs against soil-transmitted helminthiasis and intestinal schistosomiasis in resource-limited settings. [PDF]

PLoS Negl Trop Dis
Ward PK, Mohammed MA, Ayana Heda M, Broadfield LA, Dahlberg P, Dana D, Leta GT, Mekonnen Z, Nabatte B, Kabatereine N, Orrling KM, Hoecke SV, Levecke B, Stuyver LJ.   +13 more
europepmc   +1 more source

Numerical Software Verification [PDF]

, 2017
openaire   +2 more sources

Implementing log file-based patient-specific QA for VMAT plans: A comparative study of MobiusFX and measurement-based approaches. [PDF]

J Appl Clin Med Phys
Sawapabmongkon T, Changkaew P, Puttanawarut C, Tangboonduangjit P, Khachonkham S.   +4 more
europepmc   +1 more source

Design of a Verification Device of Motor Axle Wheel Load Scales Based on Pump-Controlled Hydraulic Cylinder. [PDF]

Sensors (Basel)
Hao L, Xu Z, Zhou B, Zhang G.
europepmc   +1 more source

Towards the transformation of MATLAB models into FPGA-Based hardware accelerators. [PDF]

Sci Rep
Bal S.
europepmc   +1 more source