Login / Signup

Weakest precondition based modelling and verification of a class of concurrent systems.

Anup Kumar Bandyopadhyay
Published in: Int. J. Artif. Intell. Soft Comput. (2010)
Keyphrases
  • concurrent systems
  • temporal logic
  • distributed systems
  • model checking
  • process algebra
  • transition systems
  • formal specification
  • petri net
  • real time
  • building blocks
  • information systems
  • face recognition