Record: found
Abstract: not found
Book Chapter: not found

A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning

other

Author(s): Didier Buchs , Stefan Klikovits , Alban Linard , Romain Mencattini , Dimitri Racordon

Publication date (Online): May 08 2018

Publisher: Springer International Publishing

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 17

Record: found
Abstract: not found
Article: not found

Containers and Cloud: From LXC to Docker to Kubernetes

David Bernstein (2014)

0 comments Cited 63 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Spot 2.0 — A Framework for LTL and \(\omega \) -Automata Manipulation

Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille … (2016)

0 comments Cited 36 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

LoLA A Low Level Analyser

Karsten Schmidt (2000)

0 comments Cited 16 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2018

Publication date (Online): May 08 2018

Pages: 385-395

DOI: 10.1007/978-3-319-91268-4_21

SO-VID: a1513645-6436-4088-97da-21e8763e8405

History

Data availability:

A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning

Read this book at

Related collections

Genome Engineering using CRISPR

Most cited references 17

Containers and Cloud: From LXC to Docker to Kubernetes

Spot 2.0 — A Framework for LTL and \(\omega \) -Automata Manipulation

LoLA A Low Level Analyser

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,159

Cited by 1