Go2Pins: A Framework for the LTL Verification of Go Programs
- 3 August 2021
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- GoPi: Compiling Linear and Static Channels in GoPublished by Springer Science and Business Media LLC ,2020
- Bounded verification of message-passing concurrency in Go using Promela and SpinElectronic Proceedings in Theoretical Computer Science, 2020
- An Empirical Study of Messaging Passing Concurrency in Go ProjectsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2019
- Model Checking of C and C++ with DIVINE 4Lecture Notes in Computer Science, 2017
- Multi-core SCC-Based LTL Model CheckingPublished by Springer Science and Business Media LLC ,2016
- Spot 2.0 — A Framework for LTL and $$\omega $$ -Automata ManipulationPublished by Springer Science and Business Media LLC ,2016
- On Refinement of Büchi Automata for Explicit Model CheckingLecture Notes in Computer Science, 2015
- LTSmin: High-Performance Language-Independent Model CheckingPublished by Springer Science and Business Media LLC ,2015
- Guard-based partial-order reductionInternational Journal on Software Tools for Technology Transfer, 2014
- Improved Multi-Core Nested Depth-First SearchLecture Notes in Computer Science, 2012