Login / Signup

Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking.

Stavros AronisScott Lystig FritchieKonstantinos Sagonas
Published in: IFM (2017)
Keyphrases
  • model checking
  • temporal logic
  • formal verification
  • verification method
  • automated verification
  • test set
  • finite state
  • formal specification
  • asynchronous circuits
  • transition systems