221 followers
An algebra of synchronous atomic steps https://t.co/11VxetWm35
An algebra of synchronous atomic steps https://t.co/11VxetWm35
#arXiv #cs_LO "An algebra of synchronous atomic steps. (arXiv:1609.00118v2 [cs.LO] UPDATED)" https://t.co/l24lLYeSej
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation https://t.co/Acdn3b1Ekt #arxiv
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation https://t.co/Acdn3bjfJ3 #arxiv