Search results for: Helmut Veith
Formal Methods in System Design > 2017 > 51 > 2 > 270-307
Formal Methods in System Design > 2017 > 51 > 2 > 308-331
Distributed Computing > 2018 > 31 > 3 > 187-222
Information and Computation > 2017 > 252 > C > 95-109
Journal of Automated Reasoning > 2017 > 59 > 1 > 3-45
Formal Methods in System Design > 2017 > 50 > 2-3 > 289-316
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > New Challenges in the Development of Critical Embedded Systems – An “aeromotive” Perspective > 1-2
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 2-14
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 214-228
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 112-126
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Design, Analysis and Tools > 251-255
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Applications of SAT > 45-50
Lecture Notes in Computer Science > Computer Aided Verification > Session 11: Tools – Security and Program Analysis > 423-427
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 151-166