Abstract :
The following topics are dealt with: model checking; formal verification; semantics; formal logic; program analysis; program testing; concurrency; and real time system.
Keywords :
concurrency theory; program testing; program verification; programming language semantics; real-time systems; concurrency; formal logic; formal verification; model checking; program analysis; program testing; real time system; semantics;
Conference_Titel :
Theoretical Aspects of Software Engineering (TASE), 2012 Sixth International Symposium on
Conference_Location :
Beijing
Print_ISBN :
978-1-4673-2353-6
DOI :
10.1109/TASE.2012.1
