Formalizing Network Flow Algorithms: A Refinement Approach in Isabelle/Hol

Journal of Automated Reasoning - Netherlands
doi 10.1007/s10817-017-9442-4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

From LCF to Isabelle/Hol

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2019English

Refinement to Imperative/Hol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

A Verified Compiler From Isabelle/Hol to CakeML

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Proving Bounds for Real Linear Programs in Isabelle/Hol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Feature Link Propagation Across Variability Representations With Isabelle/Hol

2010English

Classifying Network Protocols: A ‘Two-Way’ Flow Approach

IET Communications
Electronic EngineeringComputer Science ApplicationsElectrical
2011English

Inappropriate ICD Shocks as a Consequence of a Refinement in SVT Discrimination Algorithms

Journal of Innovations in Cardiac Rhythm Management
2016English

An Approach for Modeling and Formalizing SOA Design Patterns

2013English

A Phylogenetic Approach to Genetic Map Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy