Sign in

Formal Verification of Interoperability Between Future Network Architectures Using Alloy.

Mohammad JahanianJiachen ChenK. K. Ramakrishnan
Published in: ABZ (2020)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • automated verification
  • bounded model checking
  • symbolic model checking
  • web services
  • long term
  • metadata
  • semantic web
  • real world
  • knowledge base
  • program slicing