×

Found 218 Documents (Results 1–100)

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

Spatial and timing properties in highway traffic. (English) Zbl 07719828

Seidl, Helmut (ed.) et al., Theoretical aspects of computing – ICTAC 2022. 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13572, 114-131 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Towards leveraging domain knowledge in state-based formal methods. (English) Zbl 07495050

Raschke, Alexander (ed.) et al., Logic, computation and rigorous methods. Essays dedicated to Egon Börger on the occasion of his 75th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12750, 1-13 (2021).
MSC:  68-XX 03-XX
PDFBibTeX XMLCite
Full Text: DOI

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

Model checking simulation rules for linearizability. (English) Zbl 1390.68439

De Nicola, Rocco (ed.) et al., Software engineering and formal methods. 14th international conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-41590-1/pbk; 978-3-319-41591-8/ebook). Lecture Notes in Computer Science 9763, 188-203 (2016).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

An abstract model for proving safety of autonomous urban traffic. (English) Zbl 1401.68199

Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46749-8/pbk; 978-3-319-46750-4/ebook). Lecture Notes in Computer Science 9965, 274-292 (2016).
PDFBibTeX XMLCite
Full Text: DOI

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

No need knowing numerous neighbours. Towards a realizable interpretation of MLSL. (English) Zbl 1444.68181

Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 152-171 (2015).
MSC:  68T27 68T20 90B20
PDFBibTeX XMLCite
Full Text: DOI

An institution for Object-Z with inheritance and polymorphism. (English) Zbl 1453.68043

De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 134-154 (2015).
MSC:  68N30 68Q65
PDFBibTeX XMLCite
Full Text: DOI

A formal framework for Hybrid Event B. (English) Zbl 1351.68166

Xue, Jinyun (ed.) et al., Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 309, 3-12, electronic only (2014).
PDFBibTeX XMLCite
Full Text: DOI

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

Proving safety of traffic manoeuvres on country roads. (English) Zbl 1390.68429

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, 196-212 (2013).
MSC:  68Q60 03B44 90B20
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

Extending interface automata with Z notation. (English) Zbl 1353.68047

Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 4th IPM international conference, FSEN 2011, Tehran, Iran, April 20–22, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29319-1/pbk). Lecture Notes in Computer Science 7141, 359-367 (2012).
MSC:  68N30 68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI

The teaching tool CalcCheck: a proof-checker for Gries and Schneider’s “Logical approach to discrete math”. (English) Zbl 1350.68238

Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 216-230 (2011).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software