Introduction to the special issue for SPIN 2021

被引：0
作者：
Laarman, Alfons [1 ]
Sokolova, Ana [2 ]
机构：
[1] Leiden Univ, Leiden, Netherlands
[2] Univ Salzburg, Salzburg, Austria
来源：
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER | 2023年 / 25卷 / 01期
关键词：
D O I：
10.1007/s10009-023-00698-y
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The 27th International Symposium on Model Checking Software, SPIN 2021, was held online, July 12, 2021. The current special issue contains extended versions of three selected works published at the symposium. This short introduction presents these selected papers and the selection process.
引用
收藏
页码：75 / 76
页数：2
相关论文
共 3 条
[1]   Leveraging polyhedral reductions for solving Petri net reachability problems [J].
Amat, Nicolas ;
Dal Zilio, Silvano ;
Le Botlan, Didier .
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2023, 25 (01) :95-114
[2]   Go2Pins: a framework for the LTL verification of Go programs (extended version) [J].
Kirszenberg, Alexandre ;
Martin, Antoine ;
Moreau, Hugo ;
Renault, Etienne .
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2023, 25 (01) :77-94
[3]   An evaluation of approaches to model checking real-time task schedulability analysis [J].
Nxumalo, Madoda ;
Timm, Nils ;
Gruner, Stefan .
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2023, 25 (01) :115-128
1