Title :
Fieldwork and the 4:6 Principle - Introduction to the Research Center for Verification and Semantics, AIST
Author :
Kinoshita, Yoshiki
Author_Institution :
Res. Center for Verification & Semantics (CVS), Nat. Inst. of Adv. Ind. Sci. & Technol. (AIST) Senri, Japan
Abstract :
The principles in the Research Center for Verification and Semantics (CVS) AIST are explained with summaries of some of its research projects.
Keywords :
formal verification; programming language semantics; 4:6 principle; fieldwork; semantics; verification; Computer industry; Computer science; Distributed computing; Educational institutions; Electronics industry; Industrial electronics; Information processing; Laboratories; Mathematical model; Research initiatives; Agda; Equational Tree Automata; Fieldwork; First Order Modal mu-calculus; Full Research; Product Realization Research; Type 1 Basic Research; Type 2 Basic Research;
Conference_Titel :
Object/Component/Service-Oriented Real-Time Distributed Computing, 2009. ISORC '09. IEEE International Symposium on
Conference_Location :
Tokyo
Print_ISBN :
978-0-7695-3573-9
DOI :
10.1109/ISORC.2009.44
