Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
This course offers advanced topics in the This course offers advanced topics in the field of verification and model checking. It is meant for students enrolled in the Master's program “Computational Modeling and Simulation”. The tasks are usually taken from our current projects and cover programming and theoretical problems as well.</br></br>===Prerequisites===</br></br>* Profound knowledge in model checking, acquired in the lecture “Model Checking” or similar courses at other universities</br>* Solid foundations in algorithms and data structures, in automata theory and formal languages as well as in complexity theory</br>* Basic mathematical foundations</br>* Programming skills in Java or C/C++ are beneficial, unless you are interested in a purely theoretical topice interested in a purely theoretical topic  +
CMS Research Project “Model Checking”  +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
CMS Research Project “Model Checking”  +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
26. Februar 2025, 14:02:01  +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
 
Keine Attribute verlinken auf diese Seite.