×

Found 98 Documents (Results 1–98)

Automatic generation of verified concurrent hardware using VHDL. (English) Zbl 1528.68053

Lima, Lucas (ed.) et al., Formal methods: foundations and applications. 25th Brazilian symposium, SBMF 2022, virtual event, December 6–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13768, 55-72 (2022).
MSC:  68N15 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

A contract-based semantics and refinement for Simulink. (English) Zbl 1528.68236

Dong, Wei (ed.) et al., Dependable software engineering. Theories, tools, and applications. 8th international symposium, SETTA 2022, Beijing, China, October 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13649, 134-148 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Information flow control-by-construction for an object-oriented language. (English) Zbl 1525.68031

Schlingloff, Bernd-Holger (ed.) et al., Software engineering and formal methods. 20th international conference, SEFM 2022, Berlin, Germany, September 26–30, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13550, 209-226 (2022).
MSC:  68N30 68N15
PDFBibTeX XMLCite
Full Text: DOI arXiv

A unary semigroup trace algebra. (English) Zbl 07578347

Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12062, 270-285 (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI Link

Bioinformatics. Volume II: structure, function, and applications. 2nd edition. (English) Zbl 1384.92002

Methods in Molecular Biology 1526. New York, NY: Humana Press (ISBN 978-1-4939-6611-0/hbk; 978-1-4939-6613-4/ebook). xi, 426 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

A two-way path between formal and informal design of embedded systems. (English) Zbl 1483.68074

Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10134, 65-92 (2017).
PDFBibTeX XMLCite
Full Text: DOI Link

Towards a UTP semantics for Modelica. (English) Zbl 1483.68053

Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10134, 44-64 (2017).
PDFBibTeX XMLCite
Full Text: DOI Link

Unifying heterogeneous state-spaces with lenses. (English) Zbl 1482.68089

Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 295-314 (2016).
MSC:  68N30 68Q65 68V20
PDFBibTeX XMLCite
Full Text: DOI Link

Behavioural models for FMI co-simulations. (English) Zbl 1482.68135

Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 255-273 (2016).
MSC:  68Q60 68Q55 68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

A mechanized proof of loop freedom of the (untimed) AODV routing protocol. (English) Zbl 1448.68051

Cassez, Franck (ed.) et al., Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8837, 47-63 (2014).
MSC:  68M12 68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Showing invariance compositionally for a process algebra for network protocols. (English) Zbl 1416.68153

Klein, Gerwin (ed.) et al., Interactive theorem proving. 5th international conference, ITP 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8558, 144-159 (2014).
MSC:  68T15 68M12 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Unifying theories of programming in Isabelle. (English) Zbl 1444.68049

Liu, Zhiming (ed.) et al., Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8050, 109-155 (2013).
PDFBibTeX XMLCite
Full Text: DOI Link

rCOS: defining meanings of component-based software architectures. (English) Zbl 1444.68047

Liu, Zhiming (ed.) et al., Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8050, 1-66 (2013).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Simulink timed models for program verification. (English) Zbl 1390.68423

Liu, Zhiming (ed.) et al., Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-39697-7/pbk). Lecture Notes in Computer Science 8051, 82-99 (2013).
MSC:  68Q60 68U20
PDFBibTeX XMLCite
Full Text: DOI

Building a modal interface theory for concurrency and data. (English) Zbl 1312.68149

Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 1-12 (2012).
MSC:  68Q85 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Automating refinement of Circus programs. (English) Zbl 1325.68163

Davies, Jim (ed.) et al., Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8–11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19828-1/pbk). Lecture Notes in Computer Science 6527, 274-290 (2011).
MSC:  68Q85 68T15
PDFBibTeX XMLCite
Full Text: DOI

Unifying theories in Isabelle/HOL. (English) Zbl 1309.68045

Qin, Shengchao (ed.), Unifying theories of programming. Third international symposium, UTP 2010, Shanghai, China, November 15–16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16689-1/pbk). Lecture Notes in Computer Science 6445, 188-206 (2010).
MSC:  68N30 68T15
PDFBibTeX XMLCite
Full Text: DOI

Encoding Circus programs in ProofPower-Z. (English) Zbl 1286.68097

Butterfield, Andrew (ed.), Unifying theories of programming. Second international symposium, UTP 2008, Dublin, Ireland, September 8–10, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14520-9/pbk). Lecture Notes in Computer Science 5713, 218-237 (2010).
MSC:  68N30 68T15
PDFBibTeX XMLCite
Full Text: DOI

Connectors as designs. (English) Zbl 1364.68140

Salaün, Gwen (ed.) et al., Proceedings of the 8th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2009), Rhodes, Greece, July 11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 255, 119-135 (2009).
PDFBibTeX XMLCite
Full Text: Link

Mechanical reasoning about families of UTP theories. (English) Zbl 1347.68098

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, 239-257 (2009).
MSC:  68N30 68Q60 68T15
PDFBibTeX XMLCite
Full Text: DOI

CSP with hierarchical state. (English) Zbl 1211.68266

Leuschel, Michael (ed.) et al., Integrated formal methods. 7th international conference, IFM 2009, Düsseldorf, Germany, February 16–19, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00254-0/pbk). Lecture Notes in Computer Science 5423, 118-135 (2009).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Type checking Circus specifications. (English) Zbl 1279.68271

Moreira, Anamaria Martins (ed.) et al., Proceedings of the Brazilian symposium on formal methods (SBMF 2006), Natal, Rio Grande de Norte, Brazil, September 17–23, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 195, 75-93 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Viewing CSP specifications with UML-RT diagrams. (English) Zbl 1279.68257

Moreira, Anamaria Martins (ed.) et al., Proceedings of the Brazilian symposium on formal methods (SBMF 2006), Natal, Rio Grande de Norte, Brazil, September 17–23, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 195, 57-74 (2008).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Automatic test pattern generation. (English) Zbl 1182.68019

Bernardo, Marco (ed.) et al., Formal methods for hardware verification. 6th international school on formal methods for the design of computer, communication, and software systems, SFM 2006, Bertinoro, Italy, May 22–27, 2006. Advanced lectures. Berlin: Springer (ISBN 3-540-34304-0/pbk). Lecture Notes in Computer Science 3965, 30-55 (2006).
MSC:  68M15 94C12
PDFBibTeX XMLCite
Full Text: DOI

An incremental algorithm to check satisfiability for bounded model checking. (English) Zbl 1272.68262

Biere, A. (ed.) et al., Proceedings of the 2nd international workshop on bounded model checking (BMC 2004), Boston, MA, USA, July 18, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 119, No. 2, 51-65 (2005).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: Link

Control law diagrams in Circus. (English) Zbl 1120.68412

Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 253-268 (2005).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Operational semantics for model checking Circus. (English) Zbl 1120.68423

Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 237-252 (2005).
MSC:  68Q60 68Q55
PDFBibTeX XMLCite
Full Text: DOI

CirCUs: A hybrid satisfiability solver. (English) Zbl 1122.68606

Hoos, Holger H. (ed.) et al., Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-27829-X/pbk). Lecture Notes in Computer Science 3542, 211-223 (2005).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

CirCUs: A satisfiability solver geared towards bounded model checking. (English) Zbl 1103.68625

Alur, Rajeev (ed.) et al., Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22342-8/pbk). Lecture Notes in Computer Science 3114, 519-522 (2004).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Semantic domains for Handel-C. (English) Zbl 1270.68151

Flynn, Sharon et al., MFCSIT 2002. Proceedings of the second Irish conference on the mathematical foundations of computer science and information technology, National University of Ireland, Galway, Ireland, July 18–19, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 74, 1-20 (2003).
PDFBibTeX XMLCite
Full Text: Link

Refinement of actions in Circus. (English) Zbl 1270.68079

Derrick, John (ed.) et al., REFINE 2002. Proceedings of the BCS FACS refinement workshop (satellite event of FLoC 2002), Copenhagen, Denmark, July 20–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 3, 132-162 (2002).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: Link

Refinement in Circus. (English) Zbl 1064.68539

Eriksson, Lars-Henrik (ed.) et al., FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43928-5). Lect. Notes Comput. Sci. 2391, 451-470 (2002).
MSC:  68N30 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: Link

The semantics of Circus. (English) Zbl 1044.68560

Bert, Didier (ed.) et al., ZB 2002: Formal specification and development in Z and B. 2nd international conference of B and Z users, Grenoble, France, January 23–25, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43166-7). Lect. Notes Comput. Sci. 2272, 184-203 (2002).
MSC:  68N30 68Q55
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software