×

Found 15,731 Documents (Results 1–100)

100
MathJax

Model checking, synthesis, and learning. Essays dedicated to Bengt Jonsson on the occasion of his 60th birthday. (English) Zbl 07497120

Lecture Notes in Computer Science 13030. Cham: Springer (ISBN 978-3-030-91383-0/pbk; 978-3-030-91384-7/ebook). viii, 219 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Verification, model checking, and abstract interpretation. 23rd International conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. (English) Zbl 07496176

Lecture Notes in Computer Science 13182. Cham: Springer (ISBN 978-3-030-94582-4/pbk; 978-3-030-94583-1/ebook). x, 520 p. (2022).
MSC:  68-06 68Q60 00B25
PDF BibTeX XML Cite
Full Text: DOI

A divide & conquer approach to conditional stable model checking. (English) Zbl 07500640

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 105-111 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Accelerating SpMV multiplication in probabilistic model checkers using GPUs. (English) Zbl 07500639

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 86-104 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. (English) Zbl 07458676

Lecture Notes in Computer Science 12971. Cham: Springer (ISBN 978-3-030-88884-8/pbk; 978-3-030-88885-5/ebook). xv, 382 p. (2021).
MSC:  68-06 68Q60 00B25
PDF BibTeX XML Cite
Full Text: DOI

28th international symposium on temporal representation and reasoning. TIME 2021, Klagenfurt, Austria (virtual conference), September 27–29, 2021. (English) Zbl 1473.68013

LIPIcs – Leibniz International Proceedings in Informatics 206. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-206-8). xiv, 17 articles, not consecutively paged, electronic only, open access (2021).
PDF BibTeX XML Cite
Full Text: DOI Link

Statistical model checking and time-bounded reachability analysis for hybrid Petri nets with multiple stochastic variables. (English) Zbl 1472.68003

Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). xviii, 267 p. (2021).
MSC:  68-02 68Q60 68Q85
PDF BibTeX XML Cite

Genmul: generating architecturally complex multipliers to challenge formal verification tools. (English) Zbl 07410746

Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 177-191 (2021).
MSC:  68Q60 68Q06 94C11
PDF BibTeX XML Cite
Full Text: DOI

Netter: probabilistic, stateful network models. (English) Zbl 1472.68012

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 486-508 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Formal semantics and verification of network-based biocomputation circuits. (English) Zbl 1472.68057

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 464-485 (2021).
PDF BibTeX XML Cite
Full Text: DOI

A design of GPU-based quantitative model checking. (English) Zbl 1472.68091

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 441-463 (2021).
MSC:  68Q60 03B44 68N30
PDF BibTeX XML Cite
Full Text: DOI

A synchronous effects logic for temporal verification of pure Esterel. (English) Zbl 1472.68020

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 417-440 (2021).
MSC:  68N15 03B70 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Syntax-guided synthesis for lemma generation in hardware model checking. (English) Zbl 1472.68096

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 325-349 (2021).
MSC:  68Q60 68M07
PDF BibTeX XML Cite
Full Text: DOI

Unbounded procedure summaries from bounded environments. (English) Zbl 1472.68093

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 291-324 (2021).
MSC:  68Q60 68N30
PDF BibTeX XML Cite
Full Text: DOI

Runtime abstract interpretation for numerical accuracy and robustness. (English) Zbl 1472.68095

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 243-266 (2021).
MSC:  68Q60 68N30
PDF BibTeX XML Cite
Full Text: DOI

A reduction theorem for randomized distributed algorithms under weak adversaries. (English) Zbl 1472.68083

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 219-239 (2021).
MSC:  68Q60 68W15 68W20
PDF BibTeX XML Cite
Full Text: DOI

Eliminating message counters in synchronous threshold automata. (English) Zbl 1472.68094

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 196-218 (2021).
MSC:  68Q60 68Q45 68W15
PDF BibTeX XML Cite
Full Text: DOI

Verification of concurrent programs using Petri net unfoldings. (English) Zbl 1472.68087

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 174-195 (2021).
MSC:  68Q60 68N19 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Concurrent correctness in vector space. (English) Zbl 1472.68092

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 151-173 (2021).
MSC:  68Q60 68N19 68Q85
PDF BibTeX XML Cite
Full Text: DOI

A self-certifying compilation framework for WebAssembly. (English) Zbl 1472.68032

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 127-148 (2021).
MSC:  68N20 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Proving the existence of fair paths in infinite-state systems. (English) Zbl 1472.68085

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 104-126 (2021).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI

Decomposing data structure commutativity proofs with \(mn\)-differencing. (English) Zbl 1472.68090

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 81-103 (2021).
MSC:  68Q60 68P05
PDF BibTeX XML Cite
Full Text: DOI

Compositional model checking for multi-properties. (English) Zbl 1472.68089

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 55-80 (2021).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI

Generative program analysis and beyond: the power of domain-specific languages (invited paper). (English) Zbl 1472.68042

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 29-51 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Model checking algorithms for hyperproperties (invited paper). (English) Zbl 1472.68088

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 3-16 (2021).
MSC:  68Q60 03B44 03D05
PDF BibTeX XML Cite
Full Text: DOI arXiv

Deductive verification of floating-point Java programs in KeY. (English) Zbl 1474.68186

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 242-261 (2021).
MSC:  68Q60 65G50 68N15
PDF BibTeX XML Cite
Full Text: DOI arXiv

cake_lpr: verified propagation redundancy checking in CakeML. (English) Zbl 1474.68194

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 223-241 (2021).
MSC:  68Q60 68V15
PDF BibTeX XML Cite
Full Text: DOI

An SMT-based approach for verifying binarized neural networks. (English) Zbl 1474.68188

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 203-222 (2021).
MSC:  68Q60 68T07 68T20
PDF BibTeX XML Cite
Full Text: DOI arXiv

Deductive stability proofs for ordinary differential equations. (English) Zbl 1474.68195

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 181-199 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

A two-phase approach for conditional floating-point verification. (English) Zbl 1474.68191

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 43-63 (2021).
MSC:  68Q60 65G50 68N30
PDF BibTeX XML Cite
Full Text: DOI

Directed reachability for infinite-state systems. (English) Zbl 1474.68202

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 3-23 (2021).
MSC:  68Q85 68Q60 68R10
PDF BibTeX XML Cite
Full Text: DOI arXiv

For a few dollars more. Verified fine-grained algorithm analysis down to LLVM. (English) Zbl 1473.68222

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 292-319 (2021).
MSC:  68W40 68P10 68Q60
PDF BibTeX XML Cite
Full Text: DOI

An automated deductive verification framework for circuit-building quantum programs. (English) Zbl 1473.68106

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 148-177 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Verified software units. (English) Zbl 1473.68035

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 118-147 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Checking robustness between weak transactional consistency models. (English) Zbl 1473.68063

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 87-117 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

The decidability of verification under PS 2.0. (English) Zbl 1474.68187

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 1-29 (2021).
MSC:  68Q60 68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software