Andrew Gacek
Sally seems to process process queries sequentially. For k-induction, it's often beneficial to attack problems simultaneously so that they can be used to strengthen each other. We can simulate this...
I'm using the Eclipse Modeling Tools from Luna (4.4) and I am unable to install CertWare into it. Here's what I did: I used `https://github.com/nasa/CertWare/raw/master/net.certware.feature.updatesite` as the update site URL....
Previously in Camkes you could specify an attribute as a string: ```dispatch_periodic_inst.timer_attributes = "10";``` In Camkes Next, this declaration is ignored and the attribute is treated as 0. I understand...
8-bit and 16-bit read and write faults do not seem to be handled correctly. For example, if a VM performs a 8-bit read and the fault is set to return...