A compiler for MSVL and its applications
type: Item
instance of: scholarly article
title: A compiler for MSVL and its applications
zbMATH Open document ID: 1407.68096
author: Kai Yang
author: Zhenhua Duan
author: Cong Tian
author: Nan Zhang
published in: Theoretical Computer Science
publication date: 2018-12-05T00:00:00Z
Mathematics Subject Classification ID: 68N20
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 6989357
zbMATH Keywords: MSVL
zbMATH Keywords: model checking
zbMATH Keywords: compiler
zbMATH Keywords: verification
zbMATH Keywords: AI planning
Wikidata QID: Q121774302
describes a project that uses: NuSMV
describes a project that uses: LLVM
describes a project that uses: RiTHM
describes a project that uses: SPIN
describes a project that uses: JPAX
describes a project that uses: SHOP2
describes a project that uses: BLAST
describes a project that uses: CBMC
MaRDI profile type: Publication
full work available at URL: j.tcs.2017.07.032
OpenAlex ID: W2742794271
cites work: Q5684216
cites work: Q4804909
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Static Analysis
cites work: Q4426387
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Fairness modulo theory: a new approach to LTL software model checking
cites work: A decision procedure for propositional projection temporal logic with infinite models
cites work: A mechanism of function calls in MSVL
cites work: A cylinder computation model for many-core parallel computing
cites work: Linear temporal logic as an executable semantics for planning languages
cites work: Using temporal logics to express search control knowledge for planning
cites work: TALplanner: A temporal logic based forward chaining planner
cites work: Q4449309
DOI: 10.1016/J.TCS.2017.07.032
Recommended article: Q3026313
Recommended article: Q5309592
Recommended article: A Compiler for an Array and Vector Processing Language
Recommended article: A practical approach to compiler construction
Recommended article: Q4039799
Recommended article: Q3998265
Recommended article: An action compiler targeting standard ML
description: scientific article; zbMATH DE number 6989357