(1 - 25 von 26
)
Campus Event Calendar: Peter Lammich ( in E domino.mpi-inf.mpg.de › events.nsf
domino.mpi-inf.mpg.de
The Isabelle Refinement Framework. Peter Lammich. TU München. Talk. AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI Info. Public Audience. English.
The Isabelle Refinement Framework by Peter Lammich, Assistant ...www.utwente.nl › ... › FMT group
www.utwente.nl
· The Isabelle Refinement Framework by Peter Lammich, Assistant Professor University of Twente ... Abstract: In this talk, we give an overview of the ...
Campus Event Calendar: Peter Lammich ( in E )
domino.mpi-inf.mpg.de
Abstract; The idea of top-down refinement is to refine a non-deterministic specification in several steps to an efficient implementation, and prove that each step preserves …ctness.
Workshop Progress in Decision Procedures: From Formalizations to...
argo.matf.bg.ac.rs
16: :25, Peter Lammich (TU-Munich, Germany): The Isabelle Refinement Framework slides. 16: :50, Pedro Quaresma (University ...
sortiert nach Relevanz / Datum