Holly Cummins gave a keynote at Goto Copenhagen where she urged developers to care about overlooked issues that shape their ...
Abstract: We present an approach for producing oracles from TLA (temporal logic of action) specification of a system. Such oracles are useful, for monitoring purposes, to detect temporal faults by ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback