An Automata-Theoretic Approach to Software Verification

  • Javier Esparza
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2710)


Control Structure Formal Language Process Creation Logical Circuit Software Reliability 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Javier Esparza
    • 1
  1. 1.Institute for Formal Methods in Computer Science Software Reliability and Security GroupUniversity of StuttgartGermany

Personalised recommendations