A Mechanised Proof of an Adaptive State Counting Algorithm

Wen-ling Huang's research works Universität Bremen, Bremen (Uni Bremen) and other places

Isabelle/Isar - a versatile environment for human-readable formal proof documents

State-of-the-art MEMS and microsystem tools for brain research

PDF) Test selection based on communicating nondeterministic finite-statemachines using a generalized Wp-method

Verification of synchronous sequential machines based on symbolic execution

Isabelle/Isar - a versatile environment for human-readable formal proof documents

Algorithm to calculate the co-occurrence matrix based on counting the

An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm

Information, Free Full-Text

Directionality of developing skeletal muscles is set by mechanical forces

Tailored compliant mechanisms for reconfigurable electromagnetic devices

Frontiers Roles of biomaterials in modulating the innate immune response in ocular therapy

Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata

PDF) Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems