SPOT : an Extensible Model Checking Library using Transition-based Generalized Biichi Automata

Saved in:
Bibliographic Details
Main Authors: DURET-LUTZ, Alexandre, POITRENAUD, Denis
Format: Conference Proceeding
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Miscellaneous
Theoretical computing
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:1526-7539
2375-0227