Modelling Evolvable Systems: A Temporal Logic View.

Howard Barringer David E. Rydeheard

Published in: We Will Show Them! (1) (2005)

Keyphrases

temporal logic
model checking
reactive systems
satisfiability problem
concurrent systems
dynamic constraints
modal logic
expert systems
mazurkiewicz traces
artificial intelligence
distributed systems
verification method
transition systems