… On-chip data transfers use a communication protocols like the AMBA AXI [8] or TileLink [9], …
High-speed onchip communications protocols use memory mapped addressing to allow …

… cases and the automatic verification of survivability properties … and its tool support, through
a framework called surreal. The … All these approaches are applied to software system design …

… in formal methods for railways to provide a framework to move … This is particularly needed,
as the world of formal methods is … Designing a demonstrator of formal methods for railways …

… units, high speed interface supporting integrated 112G transceivers … supports standalone
networ Y attached FPGAs by integrating a standard NIC functionality in the FPGA. Their design …

… We now classify the approaches for cooperative verification according to the kinds of …
software verification for concrete examples, cooperative verification is in no way limited to software…

… framework to develop efficient verified implementations by “game-hopping”. We formally verify
… , and a new compiler design that favors extensibility (the proof of compiler correctness has …

… design in order to be certified at the highest safety integrity levels. As a result, formal methods
and tools … parameters available in the literature [62] about high-speed trains. An extended …

… techniques for software verification and validation, there are still … system usages, HMI design
guidelines, and driver compliance. … objective testing methods to be used as a framework for …

… To verify that security protocols are correct, formal methods and … to be a valuable tool in
protocol design and helped to identify … framework than previous tools, which is intended to make …

… NIST’s Cyber-Physical Systems Framework [8] offer more … high-speed and low-latency
extravehicular connectivity. … software validation during both over-the-air and service-center …