[trustable-software] Exploring the "Hypothesis for software to be trustable"

Paul Sherwood paul.sherwood at codethink.co.uk
Wed Jan 3 16:16:10 GMT 2018


Hi Dan,
On 2018-01-03 12:10, Daniel Firth wrote:
> 1,2,3 are all of the form A \/ B
> 4,5,6,7 are all of the form A => B, equivalently B \/ ┬ČA
> 
> There's no way to express any requirement with a non-trivial amount of
> semantic content without allowing conjunctive/disjunctive
> requirements.

I think I understand your point, but I confess I've never before seen 
the notation you're using... can you provide a link to help us decipher 
it, please? :)

tvm
Paul



More information about the trustable-software mailing list