×

Found 982 Documents (Results 1–100)

100
MathJax

Universal invariant checking of parametric systems with quantifier-free SMT reasoning. (English) Zbl 07437076

Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 131-147 (2021).
MSC:  03B35 68V15
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

Points as higher-order constructs. Whitehead’s method of extensive abstraction. (English) Zbl 1459.01019

Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 347-378 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Refinement-based game semantics for certified abstraction layers. (English) Zbl 07299501

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 633-647 (2020).
MSC:  68-XX
PDF BibTeX XML Cite
Full Text: DOI

The benefit of being non-lazy in probabilistic \(\lambda \)-calculus. Applicative bisimulation is fully abstract for non-lazy probabilistic call-by-name. (English) Zbl 07299479

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 327-340 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Solving the Caesar problem – with metaphysics. (English) Zbl 07279911

Miller, Alexander (ed.), Logic, language, and mathematics. Themes from the philosophy of Crispin Wright. Oxford: Oxford University Press. 116-131 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Contextual equivalence for signal flow graphs. (English) Zbl 07250933

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 77-96 (2020).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Lazy abstraction-based controller synthesis. (English) Zbl 1447.93060

Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 23-47 (2019).
MSC:  93B30 93C10
PDF BibTeX XML Cite
Full Text: DOI arXiv

Automatic generation of logical models with AGES. (English) Zbl 07178982

Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 287-299 (2019).
MSC:  03B35 68V15
PDF BibTeX XML Cite
Full Text: DOI

Introducing symmetry to graph rewriting systems with process abstraction. (English) Zbl 1429.68093

Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 3-20 (2019).
MSC:  68Q42 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Towards a call behavior-based compositional verification framework for SysML activity diagrams. (English) Zbl 07142678

Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11884, 216-234 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Poster abstract: Formal methods for computing hyperbolic invariant sets for nonlinear systems. (English) Zbl 07120163

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 260-261 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI

Facetal abstraction for non-linear dynamical systems based on \(\delta\)-decidable SMT. (English) Zbl 07120145

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 99-108 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI

Model checking speculation-dependent security properties: abstracting and reducing processor models for sound and complete verification. (English) Zbl 07116588

Carlet, Claude (ed.) et al., Codes, cryptology and information security. Third international conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019. Proceedings – in honor of Said el Hajji. Cham: Springer. Lect. Notes Comput. Sci. 11445, 462-479 (2019).
MSC:  68P25
PDF BibTeX XML Cite
Full Text: DOI

Approximating event system abstractions by covering their states and transitions. (English) Zbl 1461.68114

Petrenko, Alexander K. (ed.) et al., Perspectives of system informatics. 11th international Andrei P. Ershov informatics conference, PSI 2017, Moscow, Russia, June 27–29, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10742, 211-226 (2018).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI

Deadlock detection for actor-based coroutines. (English) Zbl 1460.68025

Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 39-54 (2018).
MSC:  68N30 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

Eager functions as processes. (English) Zbl 1452.03044

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 364-373 (2018).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI arXiv HAL

Test generation from event system abstractions to cover their states and transitions. (English. Russian original) Zbl 1455.68104

Program. Comput. Softw. 44, No. 1, 1-14 (2018); translation from Programmirovanie 44, No. 1, 3-20 (2018).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI

Secure diagnosability of hybrid dynamical systems. (English) Zbl 1455.93091

Sayed-Mouchaweh, Moamar (ed.), Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer. 175-200 (2018).
MSC:  93C30 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Deterministic concurrency: a clock-synchronised shared memory approach. (English) Zbl 1418.68047

Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 86-113 (2018).
MSC:  68N30 68Q55 68Q85
PDF BibTeX XML Cite
Full Text: DOI HAL

Algorithms for exact and approximate linear abstractions of polynomial continuous systems. (English) Zbl 1417.93147

Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 207-216 (2018).
MSC:  93C15 93B18 93B40
PDF BibTeX XML Cite
Full Text: DOI Link

Tropical abstractions of MAX-plus linear systems. (English) Zbl 06989611

Jansen, David N. (ed.) et al., Formal modeling and analysis of timed systems. 16th international conference, FORMATS 2018, Beijing, China, September 4–6, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11022, 271-287 (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

An abstraction-refinement framework for reasoning with large theories. (English) Zbl 06958129

Galmiche, Didier (ed.) et al., Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10900, 663-679 (2018).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI Link

Deep abstractions of chemical reaction networks. (English) Zbl 1397.92272

Češka, Milan (ed.) et al., Computational methods in systems biology. 16th international conference, CMSB 2018, Brno, Czech Republic, September 12–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-99428-4/pbk; 978-3-319-99429-1/ebook). Lecture Notes in Computer Science 11095. Lecture Notes in Bioinformatics, 21-38 (2018).
MSC:  92C45 68T05 92C42
PDF BibTeX XML Cite
Full Text: DOI Link

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