RT @jecbond: @kristleifur https://t.co/j555lbo7Q9 for formal inductive learning by solving SMT, Or "type directed program synthesis" by N…
19 followers
83 followers
@kristleifur https://t.co/j555lbo7Q9 for formal inductive learning by solving SMT, Or "type directed program synthesis" by Nadia Polikarpova for a more haskelly typey outlook
2,489 followers
Open Access UCL Research: Formal reasoning about the security of amazon web services https://t.co/EcRL0Hg2FH
1,989 followers
Times are changing #openaccess for #CAV2018 #FLoC2018 chaired by our own Georg Weissenbacher @tuvienna & @HanaChockler @KingsCollegeLon CAV 2018 is 30th #conference on computer-aided formal analysis methods for #hardware and #software systems #DataSci