Card

Organization Name (de) Name der Organisation (de)
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
 
Parent OrgUnit Übergeordnete Organisation
 

OrgUnit funded Projects


Results 1-13 of 13 (Search time: 0.001 seconds).

ProjectPrinciple InvestigatorCoordinating Department
Abenteuer Informatik für Volksschulen Kovacs, Laura  E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
Abstraction-based Parameterized TLA Checker Weissenbacher, Georg  E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
Automated Reasoning with Theories and Induction for Software Technologies Kovacs, Laura  E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
Bit-level Accurate Reasoning and Interpolation Weissenbacher, Georg  E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
Domain-Specific Reasoning in IoT Applications Kovacs, Laura  E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
Effective Formal Methods for Smart-Contract Certification Kovacs, Laura  E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
Formal methods for Realistic Environments in MAS Aminof, Benjamin  E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
Heisenbugs: Auffindung und Erklärung Weissenbacher, Georg  E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
Inkrementelles SAT und SMT für skalierbare Verifikation Fazekas, Katalin  E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
LogiCs-Stipendien Weissenbacher, Georg  E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
Symbol Elimination in Reliable System Engineering Kovacs, Laura  E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
Symbolic Computation and Automated Reasoning for Program Analysis Kovacs, Laura  E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
Tools for Concurrent and distributed Systems Weissenbacher, Georg  E192-04 - Forschungsbereich Formal Methods in Systems Engineering