Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Title of host publicationFMOODS FORTE IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2012) FMOODS FORTE, Stockholm, Sweden, June 13-16, 2012
EditorsHolger Giese, Grigore Rosu
Publication statusPublished - 2012
MoE publication typeA4 Article in a conference publication

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume7273
ISSN (Print)0302-9743

    Research areas

  • bounded model checking, satisfiability modulo theories, symbolic model checking, timed automata

ID: 534718