Symbolic model checking of extended finite state machines with linear constraints over integer variables

Subjects

Subjects :

Computational Theory and Mathematics
Hardware and Architecture
Information Systems
Theoretical Computer Science

Details

ISSN :

1520684X and 08821666

Volume :

37

Database :

OpenAIRE

Journal :

Systems and Computers in Japan

Accession number :

edsair.doi...........a4fbe3ef541c0aff20a0d6cc40d2b050

Full Text :

https://doi.org/10.1002/scj.20264