Neuigkeiten Hilfe Institutioneller Zugang

Akademische Ressourcen durchsuchen

Durchsuchen Sie institutionelle Kataloge, elektronische Ressourcen, Open-Access-Zeitschriften, verfügbare Sammlungen und akademische Zugangslinks.

Erweiterte Suche
Was NODOVOX Discovery zusammenführt: Institutionelle Kataloge, elektronische Ressourcen, Open-Access-Zeitschriften, verfügbare Sammlungen und akademische Zugangslinks.
Rechtsmedizin Recht Zeitschriften Open Access Volltext

Ergebnisse

2 Ergebnisse gefunden.

Ressourcentypen: Gedrucktes Buch E-Book Artikel Zeitschrift Abschlussarbeit Kapitel
Akademische Suche
Analysis of invariants for efficient bounded verification
Text / Ressource
Text / Ressource
Analysis of invariants for efficient bounded verification
Galeotti, Juan Pablo et al · RI ITBA · 2022
"SAT-based bounded veri cation of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for speci cation violations using a SAT-solver. If a v...
Idioma Inglés
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliografischer Datensatz
Symbolic determinisation of extended automata
Text / Ressource
Text / Ressource
Symbolic determinisation of extended automata
Jéron, Thierry et al · SEDICI UNLP · 2006
We define a symbolic determinisation procedure for a class of infinite-state systems, which consists of automata extended with symbolic variables that may be infinite-state. The subclass of extended automata for which th...
Idioma Inglés
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliografischer Datensatz
NODITO
Asistencia de búsqueda académica
Te ayudo a buscar, encontrar y acceder a recursos académicos.
Consultar con NODITO
¿Qué necesitás hacer?
Consultas rápidas
NODITO Asistencia contextual NDX