On one application of computations with oracle

DOI10.1134/S0361768810030047MaRDI QIDQ1758675zbMATH OpenOpenAlexFDO

Authors A. P. Nemytykh, Alexej P. Lisitsa

Publication date 16 November 2012

Published in Programming and Computer Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s0361768810030047

zbMATH Keywords

evolution pathverification tasks for cache coherence protocols

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of software (68N99)

Recommendations

• Verification as a parameterized testing (experiments with the SCP4 supercompiler)
• scientific article; zbMATH DE number 1354009
• On a certain nontraditional version of computations with oracles
• Verification of procedural programs
• scientific article; zbMATH DE number 3917681

Cites work

• scientific article; zbMATH DE number 1670768 (Why is no real title available?)
• scientific article; zbMATH DE number 1956578 (Why is no real title available?)
• scientific article; zbMATH DE number 2084712 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• A structural approach to reversible computation
• Constraint-based verification of parameterized cache coherence protocols
• Logical Reversibility of Computation
• On solving automaton equations
• REACHABILITY ANALYSIS IN VERIFICATION VIA SUPERCOMPILATION
• The concept of a supercompiler
• Verification as a parameterized testing (experiments with the SCP4 supercompiler)

Cited in

(5)

• Intermediate representation of programs with type specification based on pattern matching
• On low for speed oracles
• scientific article; zbMATH DE number 4064489 (Why is no real title available?)
• Ping-pong protocols as prefix grammars: modelling and verification via program transformation
• Verification as a parameterized testing (experiments with the SCP4 supercompiler)

Describes a project that uses

Uses Software

• Refal

This page was built for publication: On one application of computations with oracle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1758675)