MicroRNA target validation by formal methods.

Yang Yang Cheng Xiang Lin Hai

Published in: ICCA (2011)

Keyphrases

formal methods
formal specification
artificial intelligence
model checking
formal analysis
safety critical
knowledge based systems
provably correct
model checker
process algebra
temporal properties
modeling language
database
database systems
software engineering