Schönherr, Jens; Freibothe, Martin; Straube, Bernd; Bormann, Jörg Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking. (English) Zbl 1293.68193 Theor. Comput. Sci. 404, No. 3, 293-307 (2008). MSC: 68Q60 68N30 94C05 PDFBibTeX XMLCite \textit{J. Schönherr} et al., Theor. Comput. Sci. 404, No. 3, 293--307 (2008; Zbl 1293.68193) Full Text: DOI
Bensalem, Saddek; Peled, Doron; Qu, Hongyang; Tripakis, Stavros Automatic generation of path conditions for concurrent timed systems. (English) Zbl 1293.68201 Theor. Comput. Sci. 404, No. 3, 275-292 (2008). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{S. Bensalem} et al., Theor. Comput. Sci. 404, No. 3, 275--292 (2008; Zbl 1293.68201) Full Text: DOI
Ivančić, Franjo; Yang, Zijiang; Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav Efficient SAT-based bounded model checking for software verification. (English) Zbl 1293.68079 Theor. Comput. Sci. 404, No. 3, 256-274 (2008). MSC: 68N30 PDFBibTeX XMLCite \textit{F. Ivančić} et al., Theor. Comput. Sci. 404, No. 3, 256--274 (2008; Zbl 1293.68079) Full Text: DOI
Calder, M.; Miller, A. An automatic abstraction technique for verifying featured, parameterised systems. (English) Zbl 1293.68191 Theor. Comput. Sci. 404, No. 3, 235-255 (2008). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{M. Calder} and \textit{A. Miller}, Theor. Comput. Sci. 404, No. 3, 235--255 (2008; Zbl 1293.68191) Full Text: DOI Link
Copty, Shady; Fine, Shai; Ur, Shmuel; Yom-Tov, Elad; Ziv, Avi A probabilistic alternative to regression suites. (English) Zbl 1293.68077 Theor. Comput. Sci. 404, No. 3, 219-234 (2008). MSC: 68N30 68W05 PDFBibTeX XMLCite \textit{S. Copty} et al., Theor. Comput. Sci. 404, No. 3, 219--234 (2008; Zbl 1293.68077) Full Text: DOI
Ben-David, Shoham; Fisman, Dana; Ruah, Sitvanit Embedding finite automata within regular expressions. (English) Zbl 1223.68063 Theor. Comput. Sci. 404, No. 3, 202-218 (2008). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{S. Ben-David} et al., Theor. Comput. Sci. 404, No. 3, 202--218 (2008; Zbl 1223.68063) Full Text: DOI
Hussain, Altaf; Huth, Michael On model checking multiple hybrid views. (English) Zbl 1151.68030 Theor. Comput. Sci. 404, No. 3, 186-201 (2008). MSC: 68Q60 PDFBibTeX XMLCite \textit{A. Hussain} and \textit{M. Huth}, Theor. Comput. Sci. 404, No. 3, 186--201 (2008; Zbl 1151.68030) Full Text: DOI
Margaria, Tiziana (ed.); Steffen, Bernhard (ed.) Special issue: 1st international symposium on leveraging applications of formal methods (ISoLA 2004). Selected papers based on the presentations at the symposium, Paphos, Cyprus, October-November 2004. (English) Zbl 1168.68320 Theor. Comput. Sci. 404, No. 3, 185-307 (2008). MSC: 68-06 68Nxx 00B25 PDFBibTeX XML