ANNOUNCE
changeset 12999 8ad8d02b973f
parent 12996 7ac0a7e306db
child 13007 0940d19b2e2b
equal deleted inserted replaced
12998:03b9afa801df 12999:8ad8d02b973f
    40   * HOL/Bali: large application concerning formal treatment of Java.
    40   * HOL/Bali: large application concerning formal treatment of Java.
    41     (by David von Oheimb and Norbert Schirmer).
    41     (by David von Oheimb and Norbert Schirmer).
    42 
    42 
    43   * HOL/HoareParallel: large application concerning verification of
    43   * HOL/HoareParallel: large application concerning verification of
    44     parallel imperative programs (Owicki-Gries method, Rely-Guarantee
    44     parallel imperative programs (Owicki-Gries method, Rely-Guarantee
    45     method, verification examples: garbage collection, mutual
    45     method, including examples of garbage collection, mutual
    46     exclusion, etc.)
    46     exclusion, etc.)
    47     (by Leonor Prensa Nieto).
    47     (by Leonor Prensa Nieto).
    48 
    48 
    49   * HOL/GroupTheory: group theory examples including Sylow's theorem
    49   * HOL/GroupTheory: group theory examples including Sylow's theorem
    50     (by Florian Kammüller).
    50     (by Florian Kammüller).