#lazycseq — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #lazycseq, aggregated by home.social.
-
Had a great year working on #LazyCSeq (http://www.southampton.ac.uk/~gp1y10/cseq/) this year by adding support for underspecified behaviour (https://en.m.wikipedia.org/wiki/Unspecified_behavior) as #CBMC does not naturally support various orderings.
Thank you Prof Bernd Fischer.