Concurrent software fine-coarse-grained automatic modelling by Coloured Petri Nets for model checking.

Wenjie Zhong Jian-Tao Zhou Tao Sun

Published in: IET Softw. (2023)

Keyphrases

model checking
coloured petri nets
formal verification
coarse grained
fine grained
temporal logic
model checker
bounded model checking

symbolic model checking
formal methods
automated verification
formal specification
reactive systems
temporal properties
transition systems
process algebra

reachability analysis
verification method
protein sequences
high level
asynchronous circuits
pspace complete
abstract interpretation
computation tree logic

concurrent systems
timed automata
epistemic logic
software development
petri net
software systems
machine learning