Automating verification of state machines with reactive designs and Isabelle/UTP. ~ Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock. https://t.co/lEwjDg3Xj4 #ITP #IsabelleHOL
3,606 followers
221 followers
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP https://t.co/CmE9i0VVAR
642 followers
"Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. (arXiv:1807.08588v2 [cs.LO] UPDATED)" #arXiv https://t.co/G2E1DgI9Ka
3,606 followers
Automating verification of state machines with reactive designs and Isabelle/UTP. ~ S. Foster et als. https://t.co/Pij2BRWphr #ITP #IsabelleHOL