76 citations · 129 across the 23 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
Proof-Carrying Hardware via IC3
Tobias Isenberg, Heike Wehrheim
Proof-carrying hardware (PCH) is an approach to achieving safety of dynamically reconfigurable hardware, transferring the idea of proof-carrying code to the hardware domain. Curren…
cs.SE2014
Managing LTL properties in Event-B refinement
Steve Schneider, Helen Treharne, Heike Wehrheim +1
Refinement in Event-B supports the development of systems via proof based step-wise refinement of events. This refinement approach ensures safety properties are preserved, but addi…