scientific article; zbMATH DE number 1956470
From MaRDI portal
Publication:4417801
zbMath1032.68868MaRDI QIDQ4417801
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2622/26220262.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (20)
Generation of correctness conditions for imperative programs ⋮ Are the logical foundations of verifying compiler prototypes matching user expectations? ⋮ Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems ⋮ A mini challenge: build a verifiable filesystem ⋮ Specification and verification challenges for sequential object-oriented programs ⋮ A Petri net approach for the design and analysis of web services choreographies ⋮ Towards ``mouldable code via nested code graph transformation ⋮ POPLMark reloaded: Mechanizing proofs by logical relations ⋮ Using formal reasoning on a model of tasks for FreeRTOS ⋮ 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 ⋮ Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning ⋮ Model checking RAISE applicative specifications ⋮ Formalizing a Hierarchical File System ⋮ Generating all polynomial invariants in simple loops ⋮ Algorithm design through the optimization of reuse-based generation ⋮ Mechanising a formal model of flash memory ⋮ POSIX file store in Z/Eves: An experiment in the verified software repository ⋮ Verifying Whiley programs with Boogie
This page was built for publication:
