Verified Software: Theories‚ Tools‚ Experiments

Verified Software: Theories‚ Tools‚ Experiments

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Hoare, T
বিন্যাস:	Conference item
প্রকাশিত:	IEEE 2008

অনুরূপ উপাদানগুলি

Verified Software: Theories‚ Tools‚ Experiments Vision of a Grand Challenge Project
অনুযায়ী: Hoare, T, অন্যান্য
প্রকাশিত: (2005)

Verified software: theories, tools and experiments.
অনুযায়ী: Kroening, D, অন্যান্য
প্রকাশিত: (2010)

The ideal of verified software
অনুযায়ী: Hoare, T
প্রকাশিত: (2006)

The Ideal of Verified Software
অনুযায়ী: Hoare, T
প্রকাশিত: (2006)

The verified software repository: a step towards the verifying compiler
অনুযায়ী: Bicarregui, J, অন্যান্য
প্রকাশিত: (2006)

The verified software initiative: A manifesto
অনুযায়ী: Hoare, C, অন্যান্য
প্রকাশিত: (2009)

Towards the Verifying Compiler
অনুযায়ী: Hoare, C
প্রকাশিত: (2004)

Towards the Verifying Compiler
অনুযায়ী: Hoare, C
প্রকাশিত: (2002)

Towards the ’Verified Verifier’. Theory and Practice
অনুযায়ী: D. A. Kondratyev, অন্যান্য
প্রকাশিত: (2014-12-01)

Verifying multi-threaded software with impact
অনুযায়ী: Wachter, B, অন্যান্য
প্রকাশিত: (2013)

Verifying Multi−threaded Software with Impact
অনুযায়ী: Wachter, B, অন্যান্য
প্রকাশিত: (2013)

The Verifying Compiler: A Grand Challenge for Computing Research
অনুযায়ী: Hoare, C
প্রকাশিত: (2003)

The Verifying Compiler‚ a Grand Challenge for Computing Research
অনুযায়ী: Hoare, C
প্রকাশিত: (2005)

The Verifying Compiler: A Grand Challenge for Computing Research
অনুযায়ী: Hoare, C
প্রকাশিত: (2015)

The Verifying Compiler: A Grand Challange for Computing Research
অনুযায়ী: Hoare, C
প্রকাশিত: (2003)

The Verifying Compiler: A Grand Challenge for Computing Research
অনুযায়ী: Hoare, C
প্রকাশিত: (2003)

The Verifying Compiler: A Grand Challenge for Computing Research
অনুযায়ী: Hoare, C
প্রকাশিত: (2003)

The verifying compiler: A grand challenge for computing research
অনুযায়ী: Hoare, C
প্রকাশিত: (2003)

The Hob system for verifying software design properties
অনুযায়ী: Lam, Patrick, Ph. D. Massachusetts Institute of Technology
প্রকাশিত: (2007)

Using simplex method in verifying software safety
অনুযায়ী: Vujošević-Janičić Milena, অন্যান্য
প্রকাশিত: (2009-01-01)

VERIFYING AND FALSYFING OF SCIENTIFIC THEORIES
অনুযায়ী: Antonio Poljak
প্রকাশিত: (2008-01-01)

Modeling software system to verify identity through iris
প্রকাশিত: (2012-12-01)

Tools for Verifying Classical and Quantum Superintegrability
অনুযায়ী: Ernest G. Kalnins, অন্যান্য
প্রকাশিত: (2010-08-01)

Experiments as a Tool of Verifying Efficiency of Implicitly Agreed-Upon Market Organizations
অনুযায়ী: Rafał M. Jakubowski, অন্যান্য
প্রকাশিত: (2008-12-01)

Theory and practice of verifiable secret sharing
অনুযায়ী: Gennaro, Rosario
প্রকাশিত: (2005)

PRALU language - the tool for verifying digital devices
অনুযায়ী: D. I. Cheremisinov
প্রকাশিত: (2018-12-01)

Design and implementation of Safety_SysML consistency verifier for avionics software
অনুযায়ী: YIN Wei, অন্যান্য
প্রকাশিত: (2023-08-01)

METHODOLOGY FOR ELABORATION OF WORKING VERIFYING SCHEMES FOR MEASURING TOOLS
অনুযায়ী: N. N. Chervyakovskaya, অন্যান্য
প্রকাশিত: (2007-06-01)

Verifying the correct composition of distributed components: Formalisation and Tool
অনুযায়ী: Ludovic Henrio, অন্যান্য
প্রকাশিত: (2015-02-01)

Astronomical Investigation to Verify the Calendar Theory of the Nasca Lines
অনুযায়ী: Christiane Richter, অন্যান্য
প্রকাশিত: (2021-02-01)

Verify /
অনুযায়ী: Hoover, Colleen, author 595716
প্রকাশিত: (Ligh)

Practical Cryptographically Private and Verifiable Computation through Hardware-Software Co-Design
অনুযায়ী: Samardzic, Nikola
প্রকাশিত: (2024)

Fuzzy coloured petri nets‐based method to analyse and verify the functionality of software
অনুযায়ী: Mina Chavoshi, অন্যান্য
প্রকাশিত: (2023-09-01)

Development of a Tool for Verifying Leakage Detection in Microfluidic Systems
অনুযায়ী: Ali Bozorgnezhad, অন্যান্য
প্রকাশিত: (2025-01-01)

Methods for verifying the authenticity of hops – an effective tool against falsification
অনুযায়ী: Jana Olšovská, অন্যান্য
প্রকাশিত: (2016-10-01)

Software tools for experimenting with cellular automata
অনুযায়ী: Choi, Inwhan
প্রকাশিত: (2018)

Experimenting with the king of France: Topics, verifiability and definite descriptions
অনুযায়ী: Márta Abrusán, অন্যান্য
প্রকাশিত: (2013-10-01)

A Formal Specification Framework for Designing and Verifying Reliable and Dependable Software for CNC Systems
অনুযায়ী: Yunan Cao
প্রকাশিত: (2014-06-01)

Benchmark data for verifying background model implementations in orbit and gravity field determination software
অনুযায়ী: M. Lasser, অন্যান্য
প্রকাশিত: (2020-12-01)

Software Engineering
অনুযায়ী: Hoare, C
প্রকাশিত: (1978)