Home
last modified time | relevance | path

Searched refs:Automata (Results 1 – 7 of 7) sorted by relevance

/openbmc/linux/drivers/uio/
H A DKconfig76 tristate "Automata Sercos III PCI card driver"
80 Automata GmbH. The userspace part of this driver will be
81 available for download from the Automata GmbH web site.
83 Automata GmbH: http://www.automataweb.com
/openbmc/linux/tools/verification/dot2/
H A Ddot2c.py16 from dot2.automata import Automata
18 class Dot2c(Automata):
H A Dautomata.py13 class Automata: class
/openbmc/linux/Documentation/trace/rv/
H A Druntime-verification.rst74 De Oliveira, Daniel Bristot. *Automata-based formal analysis and
106 Shows that for Deterministic Automata models, the synchronous processing of
H A Dda_monitor_instrumentation.rst1 Deterministic Automata Instrumentation
H A Dda_monitor_synthesis.rst1 Deterministic Automata Monitor Synthesis
H A Ddeterministic_automata.rst1 Deterministic Automata