Current projects include healthcare, cloud computing, formal and simulation-based verification technologies, programming environments, chip design, storage systems, information retrieval, collaboration, and much more.
Formal language | Formal concept analysis | National technical means of verification | Formal verification | Formal theory | formal language | Formal equivalence checking | Fingerprint Verification Competition | Certified Measurement and Verification Professional | Certified measurement and verification professional | Austronesian Formal Linguistics Association |
Rebeca (acronym for Reactive Objects Language) is an actor-based modeling language with a formal foundation, designed in an effort to bridge the gap between formal verification approaches and real applications.