×

Found 27 Documents (Results 1–27)

Verifying opacity of a transactional mutex lock. (English) Zbl 1427.68190

Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 161-177 (2015).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI Link

Towards interactive verification of programmable logic controllers using modal Kleene algebra and KIV. (English) Zbl 1471.68063

Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 15th international conference, RAMiCS 2015, Braga, Portugal, September 28 – October 1, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9348, 241-256 (2015).
PDFBibTeX XMLCite
Full Text: DOI Link

Verification of concurrent systems with VerCors. (English) Zbl 1445.68131

Bernardo, Marco (ed.) et al., Formal methods for executable software models. 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, Italy, June 16–20, 2014. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8483, 172-216 (2014).
MSC:  68Q60 68N19 68Q85
PDFBibTeX XMLCite
Full Text: DOI

One logic to use them all. (English) Zbl 1381.68266

Bonacina, Maria Paola (ed.), Automated deduction – CADE-24. 24th international conference on automated deduction, Lake Placid, NY, USA, June 9–14, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38573-5/pbk). Lecture Notes in Computer Science 7898. Lecture Notes in Artificial Intelligence, 1-20 (2013).
MSC:  68T15 03B70 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Formal verification of a lock-free stack with hazard pointers. (English) Zbl 1350.68081

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2011. 8th international colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23282-4/pbk). Lecture Notes in Computer Science 6916, 239-255 (2011).
MSC:  68P05 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Specifying imperative ML-like programs using dynamic logic. (English) Zbl 1308.68044

Beckert, Bernhard (ed.) et al., Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28–30, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18069-9/pbk). Lecture Notes in Computer Science 6528, 122-137 (2011).
MSC:  68N30 03B70 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Temporal logic verification of lock-freedom. (English) Zbl 1286.68322

Bolduc, Claude (ed.) et al., Mathematics of program construction. 10th international conference, MPC 2010, Québec City, Canada, June 21–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13320-6/pbk). Lecture Notes in Computer Science 6120, 377-396 (2010).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI

Verification of Java programs with generics. (English) Zbl 1170.68528

Meseguer, José (ed.) et al., Algebraic methodology and software technology. 12th international conference, AMAST 2008, Urbana, IL, USA, July 28–31, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79979-5/pbk). Lecture Notes in Computer Science 5140, 315-329 (2008).
MSC:  68Q60 68N15 68N19
PDFBibTeX XMLCite
Full Text: DOI

Automating algebraic specifications of non-freely generated data types. (English) Zbl 1183.68368

Cha, Sungdeok (Steve) (ed.) et al., Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). Lecture Notes in Computer Science 5311, 141-155 (2008).
MSC:  68Q60 68Q65 68T15
PDFBibTeX XMLCite
Full Text: DOI

Bounded relational analysis of free data types. (English) Zbl 1138.68446

Beckert, Bernhard (ed.) et al., Tests and proofs. Second international conference, TAP 2008, Prato, Italy, April 9–11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79123-2/pbk). Lecture Notes in Computer Science 4966, 99-115 (2008).
MSC:  68Q60 68Q85 68T15
PDFBibTeX XMLCite
Full Text: DOI

Formal fault tree analysis – practical experiences. (English) Zbl 1335.68146

Merz, Stephan (ed.) et al., Proceedings of the 6th international workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, September 18–19, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 185, 139-151 (2007).
MSC:  68Q60 68Q55 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Using theory morphisms for implementing formal methods tools. (English) Zbl 1023.68654

Geuvers, Herman (ed.) et al., Types for proofs and programs. International workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2646, 59-77 (2003).
MSC:  68T15 68Q60 03B70
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software