Skip to content

Latest commit

 

History

History

spanning

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 

spanning

  • Specification's authors: Thanh Hai Tran, Igor Konnov, Josef Widder
  • Original paper:
  • Extended modules: Int
  • Computation models: no faults
  • Some properties checked with TLC: OneParent, termination