Results 91 to 100 of about 375,819 (145)

Model Checking Event-B by Encoding into Alloy

open access: yes
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies.
De Oliveira Cantante De Matos, Paulo   +1 more
core   +1 more source

Home - About - Disclaimer - Privacy