typetitleauthorlast post sort icon
Forum topicIntroduction to processes (Tony Hoare's CSP processes) hbrandl2014-04-29 21:48
Forum topicPrimitive recursive functions and fixpoints hbrandl2013-06-03 16:52
Forum topicMutable Structures: Arrays hbrandl2013-05-08 10:44
Forum topicEndofunctions, cycles and chains hbrandl2013-04-29 17:36
Forum topicFixpoint theory, induction and recursion hbrandl2013-03-08 04:14
Forum topicBinary relations, endorelations and transitive closures hbrandl2012-10-18 14:24
Forum topicProof formats hbrandl2012-09-27 14:47
Forum topicThe verified heap sort algorithm hbrandl2012-07-31 19:43
Forum topicLattices - Partial orders with infimum and supremum hbrandl2012-07-17 15:56
Forum topicThe verified insertion sort algorithm hbrandl2012-07-01 20:53
Forum topicNull, bottom, etc.? oconnor02012-06-25 23:41
Forum topicFraming: The implementation side hbrandl2012-06-20 20:17
Forum topicAbstraction wins: An approach to framing and mutability hbrandl2012-06-13 03:58
Forum topicOrder structure, an excercise in abstraction and multiple inheritance hbrandl2012-05-31 01:24
Forum topicProofs as programs hbrandl2012-05-29 09:43
Forum topicPredicates, ghost predicates and higher order predicates hbrandl2012-05-17 19:27
Forum topicTuples, functions, ghost functions and higher order functions hbrandl2012-04-30 14:55
Forum topicInheritance and formal verification of software hbrandl2012-04-24 14:23
Forum topicSpecification and implementation of modules in Modern Eiffel hbrandl2012-04-21 16:47
Forum topicPredicate calculus in program verification hbrandl2012-04-02 23:41
Forum topicReasoning with inductive types hbrandl2012-03-09 14:54
Forum topicNegation and proofs by contradiction with the proof engine hbrandl2012-02-27 18:27
Forum topicIntroduction to the proof engine for static verification of software hbrandl2012-02-20 17:46
Forum topicLanguage outline of Modern Eiffel (SW Verification) hbrandl2012-01-31 19:20
Forum topicCorrectness proofs demonstrated with natural numbers hbrandl2011-09-14 20:34