×

Found 23 Documents (Results 1–23)

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

The automatic detection of token structures and invariants using SAT checking. (English) Zbl 1453.68109

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10206, 249-265 (2017).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

Extended dependency graphs and efficient distributed fixed-point computation. (English) Zbl 1393.68098

van der Aalst, Wil (ed.) et al., Application and theory of Petri nets and concurrency. 38th international conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-57860-6/pbk; 978-3-319-57861-3/ebook). Lecture Notes in Computer Science 10258, 139-158 (2017).
MSC:  68Q60 68Q85 68W15
PDFBibTeX XMLCite
Full Text: DOI

Reducing complex CSP models to traces via priority. (English) Zbl 1392.68310

Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 237-252 (2016).
MSC:  68Q85 68Q55
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

The expressiveness of CSP with priority. (English) Zbl 1351.68148

Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 387-401, electronic only (2015).
MSC:  68Q55 68Q10 68Q85
PDFBibTeX XMLCite
Full Text: DOI

FDR3 – a modern refinement checker for CSP. (English) Zbl 1392.68300

Ábrahám, Erika (ed.) et al., Tools and algorithms for the construction and analysis of systems. 20th international conference, TACAS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54861-1/pbk). Lecture Notes in Computer Science 8413, 187-201 (2014).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software