3 citations · 6 across the 6 of their papers we have counts for
3 papers · 1 filter
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…
Automating Verification of Event-B Models
Paulius Stankaitis, Alexei Iliasov, David Adjepon-Yamoah +1
Event-B is one of more popular notations for model-based, proof driven specification. It offers a fairly high-level mathematical lan- guage based on FOL and ZF set theory and an ec…
An Introduction to Software Engineering and Fault Tolerance
Patrizio Pelliccione, Henry Muccini, Nicolas Guelfi +1
This book consists of the chapters describing novel approaches to integrating fault tolerance into software development process. They cover a wide range of topics focusing on fault…