10 citations · 19 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2021
Industrial-Strength Verification of Solid State Interlocking Programs
Alexei Iliasov, Dominic Taylor, Linas Laibinis +1
The increasing complexity of modern interlocking poses a major challenge to ensuring railway safety. This calls for application of formal methods forassurance and verification of t…
cs.SE2012★ 10 cited
Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Designing fault tolerance mechanisms for multi-agent systems is a notoriously difficult task. In this paper we present an approach to formal development of a fault tolerant multi-a…