Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Rezine, Othmane; Stenman, Jari Budget-bounded model-checking pushdown systems. (English) Zbl 1317.68106 Form. Methods Syst. Des. 45, No. 2, 273-301 (2014). MSC: 68Q60 68Q85 68Q25 68Q45 PDFBibTeX XMLCite \textit{P. A. Abdulla} et al., Form. Methods Syst. Des. 45, No. 2, 273--301 (2014; Zbl 1317.68106) Full Text: DOI
Yan, Chao; Greenstreet, Mark R.; Yang, Suwen Verifying global start-up for a Möbius ring-oscillator. (English) Zbl 1309.94195 Form. Methods Syst. Des. 45, No. 2, 246-272 (2014). Reviewer: Eleonor Ciurea (Braşov) MSC: 94C05 68Q60 03B70 PDFBibTeX XMLCite \textit{C. Yan} et al., Form. Methods Syst. Des. 45, No. 2, 246--272 (2014; Zbl 1309.94195) Full Text: DOI
Brain, Martin; D’Silva, Vijay; Griggio, Alberto; Haller, Leopold; Kroening, Daniel Deciding floating-point logic with abstract conflict driven clause learning. (English) Zbl 1317.68110 Form. Methods Syst. Des. 45, No. 2, 213-245 (2014). MSC: 68Q60 68T05 68T20 PDFBibTeX XMLCite \textit{M. Brain} et al., Form. Methods Syst. Des. 45, No. 2, 213--245 (2014; Zbl 1317.68110) Full Text: DOI
Lvov, Alexey; Lastras-Montaño, Luis A.; Trager, Barry; Paruthi, Viresh; Shadowen, Robert; El-Zein, Ali Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry. (English) Zbl 1303.94146 Form. Methods Syst. Des. 45, No. 2, 189-212 (2014). MSC: 94C05 94B35 13P10 PDFBibTeX XMLCite \textit{A. Lvov} et al., Form. Methods Syst. Des. 45, No. 2, 189--212 (2014; Zbl 1303.94146) Full Text: DOI
Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano Quantifier-free encoding of invariants for hybrid systems. (English) Zbl 1317.68111 Form. Methods Syst. Des. 45, No. 2, 165-188 (2014). MSC: 68Q60 93C30 PDFBibTeX XMLCite \textit{A. Cimatti} et al., Form. Methods Syst. Des. 45, No. 2, 165--188 (2014; Zbl 1317.68111) Full Text: DOI
Goldberg, Eugene; Manolios, Panagiotis Quantifier elimination by dependency sequents. (English) Zbl 1311.03061 Form. Methods Syst. Des. 45, No. 2, 111-143 (2014). MSC: 03C10 68Q60 03B70 PDFBibTeX XMLCite \textit{E. Goldberg} and \textit{P. Manolios}, Form. Methods Syst. Des. 45, No. 2, 111--143 (2014; Zbl 1311.03061) Full Text: DOI arXiv