Login / Signup

Structural Invariants for the Verification of Systems with Parameterized Architectures.

Marius BozgaJavier EsparzaRadu IosifJoseph SifakisChristoph Welzel
Published in: TACAS (1) (2020)
Keyphrases
  • distributed systems
  • real time
  • information retrieval
  • building blocks
  • learning systems
  • computing systems
  • asynchronous circuits
  • database
  • expert systems
  • mobile robot
  • embedded systems