scientific article; zbMATH DE number 1956470

zbMATH Open1032.68868MaRDI QIDQ4417801FDOQ4417801

Authors: Tony Hoare 

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2622/26220262.htm

Title of this publication is not available (Why is that?)

Recommendations

• Verification, Model Checking, and Abstract Interpretation
• The verified software repository: a step towards the verifying compiler
• Compiling a 50-year journey
• A mini challenge: build a verifiable filesystem
• A Completely Verified Realistic Bootstrap Compiler

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of compilers and interpreters (68N20)

Cited In (30)

• Verifying Whiley programs with Boogie
• Towards ``mouldable code via nested code graph transformation
• Verified Compilation and the B Method: A Proposal and a First Appraisal
• Formalizing a hierarchical file system
• Robin Milner 1934--2010
• Generating all polynomial invariants in simple loops
• Refactoring and representation independence for class hierarchies
• Formalizing a hierarchical file system
• Automated verification of shape, size and bag properties via user-defined predicates in separation logic
• Are the logical foundations of verifying compiler prototypes matching user expectations?
• Mechanising a formal model of flash memory
• POSIX file store in Z/Eves: An experiment in the verified software repository
• Title not available (Why is that?)
• Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
• Title not available (Why is that?)
• Model checking RAISE applicative specifications
• Verification, Model Checking, and Abstract Interpretation
• Using formal reasoning on a model of tasks for FreeRTOS
• Algorithm design through the optimization of reuse-based generation
• The verified software repository: a step towards the verifying compiler
• POPLMark reloaded: mechanizing proofs by logical relations
• Generation of correctness conditions for imperative programs
• A verifiable SSA program representation for aggressive compiler optimization
• A mini challenge: build a verifiable filesystem
• Specification and verification challenges for sequential object-oriented programs
• A Completely Verified Realistic Bootstrap Compiler
• A Petri net approach for the design and analysis of web services choreographies
• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
• Verifying an Open Compiler Using Multi-language Semantics
• Title not available (Why is that?)

This page was built for publication:

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