×

Found 3,437 Documents (Results 1–100)

100
MathJax

Program logic for higher-order probabilistic programs in Isabelle/HOL. (English) Zbl 07570114

Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 57-74 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

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

Proceedings of the 12th international symposium on games, automata, logics, and formal verification, GandALF, Padua, Italy, September 20–22, 2021. (English) Zbl 07544355

Electronic Proceedings in Theoretical Computer Science (EPTCS) 346. Waterloo: Open Publishing Association (OPA). 307 p., electronic only, open access (2021).
PDF BibTeX XML Cite
Full Text: DOI Link

EthVer: formal verification of randomized Ethereum smart contracts. (English) Zbl 07535925

Bernhard, Matthew (ed.) et al., Financial cryptography and data security. FC 2021 international workshops. Codecfin, DeFi, VOTING, and WTSC, virtual event, March 5, 2021. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 12676, 364-380 (2021).
MSC:  91G99 94A60
PDF BibTeX XML Cite
Full Text: DOI

How to exploit a DeFi project. (English) Zbl 07535909

Bernhard, Matthew (ed.) et al., Financial cryptography and data security. FC 2021 international workshops. Codecfin, DeFi, VOTING, and WTSC, virtual event, March 5, 2021. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 12676, 162-167 (2021).
MSC:  91G99 94A60
PDF BibTeX XML Cite
Full Text: DOI

Tweaking the odds in probabilistic timed automata. (English) Zbl 07498041

Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 39-58 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Formal verification of a Java component using the RESOLVE framework. (English) Zbl 07497928

Konev, Boris (ed.) et al., Frontiers of combining systems. 13th international symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12941, 287-305 (2021).
MSC:  68Txx
PDF BibTeX XML Cite
Full Text: DOI

Generating functions for probabilistic programs. (English) Zbl 07496650

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 231-248 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Timed Petri nets with reset for pipelined synchronous circuit design. (English) Zbl 07493571

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 55-75 (2021).
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

Twinning automata and regular expressions for string static analysis. (English) Zbl 1472.68039

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, 267-290 (2021).
MSC:  68N30 68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

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

Algorithm design through the optimization of reuse-based generation. (English) Zbl 1481.68048

He, Kun (ed.) et al., Theoretical computer science. 38th national conference, NCTCS 2020, Nanning, China, November 13–15, 2020. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1352, 14-32 (2021).
MSC:  68W01 68N30 68P10
PDF BibTeX XML Cite
Full Text: DOI

Accelerating predicate abstraction by minimum unsatisfiable cores extraction. (English) Zbl 1481.68032

He, Kun (ed.) et al., Theoretical computer science. 38th national conference, NCTCS 2020, Nanning, China, November 13–15, 2020. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1352, 3-13 (2021).
MSC:  68Q60 03B70 68M07
PDF BibTeX XML Cite
Full Text: DOI

General decidability results for asynchronous shared-memory programs: higher-order and beyond. (English) Zbl 1467.68040

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 I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 449-467 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Timed automata relaxation for reachability. (English) Zbl 1467.68079

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 I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 291-310 (2021).
MSC:  68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Multi-objective optimization of long-run average and total rewards. (English) Zbl 1467.68094

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 I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 230-249 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. (English) Zbl 1466.68005

New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-8339-4). 27 articles, not consecutively paged (2021).
PDF BibTeX XML Cite
Full Text: DOI

Reachability in two-dimensional vector addition systems with states: one test is for free. (English) Zbl 07559493

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 37, 17 p. (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Safe reinforcement learning using probabilistic shields (Invited Paper). (English) Zbl 07559459

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 3, 16 p. (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

The quotient in preorder theories. (English) Zbl 07455750

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 216-233 (2020).
MSC:  68Q45 68Q60 91A80
PDF BibTeX XML Cite
Full Text: arXiv Link

Canonicity in GFG and transition-based automata. (English) Zbl 07455749

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 199-215 (2020).
MSC:  68Q45 68Q60 91A80
PDF BibTeX XML Cite
Full Text: arXiv Link

On the power of unambiguity in Büchi complementation. (English) Zbl 07455748

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 182-198 (2020).
MSC:  68Q45 68Q60 91A80
PDF BibTeX XML Cite
Full Text: arXiv Link

\(\mathrm{LTL}_f\) synthesis on probabilistic systems. (English) Zbl 07455747

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 166-181 (2020).
MSC:  68Q45 68Q60 91A80
PDF BibTeX XML Cite
Full Text: arXiv Link

Decisiveness of stochastic systems and its application to hybrid models. (English) Zbl 07455746

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 149-165 (2020).
MSC:  68Q45 68Q60 91A80
PDF BibTeX XML Cite
Full Text: arXiv Link

Comparison of algorithms for simple stochastic games. (English) Zbl 07455745

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 131-148 (2020).
MSC:  68Q45 68Q60 91A80
PDF BibTeX XML Cite
Full Text: arXiv Link

Optimal strategies in weighted limit games. (English) Zbl 07455744

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 114-130 (2020).
MSC:  68Q45 68Q60 91A80
PDF BibTeX XML Cite
Full Text: arXiv Link

Local higher-order fixpoint iteration. (English) Zbl 07455743

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 97-113 (2020).
MSC:  68Q45 68Q60 91A80
PDF BibTeX XML Cite
Full Text: arXiv Link

Bounded game-theoretic semantics for modal mu-calculus and some variants. (English) Zbl 07455742

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 82-96 (2020).
MSC:  68Q45 68Q60 91A80
PDF BibTeX XML Cite
Full Text: arXiv Link

A game theoretical semantics for logics of nonsense. (English) Zbl 07455741

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 66-81 (2020).
MSC:  68Q45 68Q60 91A80
PDF BibTeX XML Cite
Full Text: arXiv Link

Symbolic execution + model counting + entropy maximization = automatic search synthesis. (English) Zbl 07455740

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 50-65 (2020).
MSC:  68Q45 68Q60 91A80
PDF BibTeX XML Cite
Full Text: arXiv Link

Synthesis in presence of dynamic links. (English) Zbl 07455739

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 33-49 (2020).
MSC:  68Q45 68Q60 91A80
PDF BibTeX XML Cite
Full Text: arXiv Link

Symbolic parity game solvers that yield winning strategies. (English) Zbl 07455738

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 18-32 (2020).
MSC:  68Q45 68Q60 91A80
PDF BibTeX XML Cite
Full Text: arXiv Link

LTLf synthesis under partial observability: from theory to practice. (English) Zbl 07455737

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 1-17 (2020).
MSC:  68Q45 68Q60 91A80
PDF BibTeX XML Cite
Full Text: arXiv Link

Probabilistic model checking of AODV. (English) Zbl 1483.68037

Gribaudo, Marco (ed.) et al., Quantitative evaluation of systems. 17th international conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12289, 54-73 (2020).
MSC:  68M20 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Highly automated formal proofs over memory usage of assembly code. (English) Zbl 1483.68211

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 98-117 (2020).
MSC:  68Q60 68N15 68V15
PDF BibTeX XML Cite
Full Text: DOI

Parameterized synthesis with safety properties. (English) Zbl 1476.68154

Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 273-292 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Runtime verification of contracts with Themulus. (English) Zbl 1476.68163

de Boer, Frank (ed.) et al., Software engineering and formal methods. 18th international conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12310, 231-246 (2020).
MSC:  68Q85 03B45 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Hoare-style logic for unstructured programs. (English) Zbl 1476.68064

de Boer, Frank (ed.) et al., Software engineering and formal methods. 18th international conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12310, 193-213 (2020).
MSC:  68N30 03B70 68V15
PDF BibTeX XML Cite
Full Text: DOI

Affine systems of ODEs in Isabelle/HOL for hybrid-program verification. (English) Zbl 1476.68301

de Boer, Frank (ed.) et al., Software engineering and formal methods. 18th international conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12310, 77-92 (2020).
MSC:  68V20 34A30 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Optimization of timed scenarios. (English) Zbl 1475.68193

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, 119-136 (2020).
MSC:  68Q60 68Q45 68Q85
PDF BibTeX XML Cite
Full Text: DOI

The Hitchhiker’s guide to decidability and complexity of equivalence properties in security protocols. (English) Zbl 07370024

Nigam, Vivek (ed.) et al., Logic, language, and security. Essays dedicated to Andre Scedrov on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12300, 127-145 (2020).
MSC:  03-XX
PDF BibTeX XML Cite
Full Text: DOI Link

Formal verification of Ethereum smart contracts using Isabelle/HOL. (English) Zbl 1476.68156

Nigam, Vivek (ed.) et al., Logic, language, and security. Essays dedicated to Andre Scedrov on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12300, 71-97 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. (English) Zbl 1466.68026

Electronic Proceedings in Theoretical Computer Science (EPTCS) 326. Waterloo: Open Publishing Association (OPA). 233 p., electronic only, open access (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

MetaVal: witness validation via verification. (English) Zbl 1478.68145

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 165-177 (2020).
MSC:  68Q60 68N30 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Action-based model checking: logic, automata, and reduction. (English) Zbl 1478.68175

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 77-100 (2020).
MSC:  68Q60 03B44 68Q45
PDF BibTeX XML Cite
Full Text: DOI

A novel approach for solving the BMI problem in barrier certificates generation. (English) Zbl 1478.68152

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 582-603 (2020).
MSC:  68Q60 15A45 90C22
PDF BibTeX XML Cite
Full Text: DOI

Automated and scalable verification of integer multipliers. (English) Zbl 1478.68178

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 485-507 (2020).
MSC:  68Q60 68M07
PDF BibTeX XML Cite
Full Text: DOI

Resilient abstraction-based controller design. (English) Zbl 07300874

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 33, 2 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Inter-triggering hybrid automata: a formalism for responsibility-sensitive safety. (English) Zbl 07300873

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 32, 2 p. (2020).
MSC:  68Q45 68Q60 93C30
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