586 followers
これは読みたい。。。 / “Local Verification of Global Invariants in Concurrent Programs | SpringerLink” https://t.co/MnshMOLY3p #vcc #book
これは読みたい。。。 / “Local Verification of Global Invariants in Concurrent Programs | SpringerLink” https://t.co/MnshMOLY3p #vcc #book
The most recent thing I've found on NN verification is this CAV 2010 paper: https://t.co/mWtC35jpXs What else? https://t.co/Xqb2fJGgD1
@bobpoekert Maybe the joke's on me for being dismissive of this -- it might be that the approach in https://t.co/mWtC35jpXs could be used...
@hypotext Maybe the joke's on me for being dismissive of this -- it might be that the approach in https://t.co/mWtC35jpXs could be used...