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

Handbook of Parallel Constraint Reasoning 

Parallel Model Checking Algorithms for Linear-Time Temporal Logic

other

Author(s): Jiri Barnat , Vincent Bloemen , Alexandre Duret-Lutz , Alfons Laarman , Laure Petrucci , Jaco van de Pol , Etienne Renault

Publication date (Online): April 06 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 75

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

Counterexample-Guided Abstraction Refinement

Edmund Clarke, Orna Grumberg, Somesh Jha … (2000)

0 comments Cited 157 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Efficiency of a Good But Not Linear Set Union Algorithm

Robert Tarjan (1975)

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

Bookmark

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

Interpolation and SAT-Based Model Checking

K. L. McMillan (2003)

0 comments Cited 83 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2018

Publication date (Online): April 06 2018

Pages: 457-507

DOI: 10.1007/978-3-319-63516-3_12

SO-VID: 34ec778c-542f-442f-b792-58f86253bba6

History

Data availability:

Parallel Model Checking Algorithms for Linear-Time Temporal Logic

Read this book at

Related collections

Renewable Energy – Distribution Grid

Most cited references 75

Counterexample-Guided Abstraction Refinement

Efficiency of a Good But Not Linear Set Union Algorithm

Interpolation and SAT-Based Model Checking

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,022