×

Found 9 Documents (Results 1–9)

Modeling big data processing programs. (English) Zbl 1475.68081

Carvalho, Gustavo (ed.) et al., Formal methods: foundations and applications. 23rd Brazilian symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12475, 101-118 (2020).
MSC:  68N30 68Q85 68T09
PDFBibTeX XMLCite
Full Text: DOI

Verified compilation and the B method: a proposal and a first appraisal. (English) Zbl 1347.68079

Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 79-96 (2009).
MSC:  68N30 68N15 68N20
PDFBibTeX XMLCite
Full Text: DOI

Specification and runtime verification of Java card programs. (English) Zbl 1347.68063

Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 61-78 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the Brazilian symposium on formal methods (SBMF 2006), Natal, Rio Grande de Norte, Brazil, September 17–23, 2006. (English) Zbl 1276.68022

Electronic Notes in Theoretical Computer Science 195. Amsterdam: Elsevier. 229 p., electronic only (2008).
MSC:  68-06 68Q60 00B25
PDFBibTeX XMLCite
Full Text: Link

Implementing local intervals in CASL. (English) Zbl 1279.68234

Sampaio, Augusto (ed.), Proceedings of the second Brazilian symposium on formal methods (SBMF 2005), Porto Alegre, RS, Brazil, November 30, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 184, 133-149 (2007).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

Improving symbolic model checking by rewriting temporal logic formulae. (English) Zbl 1045.68091

Tison, Sophie (ed.), Rewriting techniques and applications. 13th international conference, RTA 2002, Copenhagen, Denmark, July 22–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43916-1). Lect. Notes Comput. Sci. 2378, 207-221 (2002).
MSC:  68Q60 68Q42
PDFBibTeX XMLCite
Full Text: Link

Symbolic model checking with fewer fixpoint computations. (English) Zbl 0954.68103

Wing, Jeannette M. (ed.) et al., FM ’99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20–24, 1999. Proceedings. In 2 vols. Berlin: Springer (ISBN 3-540-66587-0/vol1; 3-540-66588-9/vol2). Lect. Notes Comput. Sci. 1708; 1709, 272-288 (1999).
MSC:  68Q60 03B44
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software