Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
28
views
0
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,602
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Model Checking Software
other
Editor(s):
Antti Valmari
Publication date
(Print):
2006
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
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
Genomic Prediction: Software
Author and book information
Book
ISBN (Print):
978-3-540-33102-5
ISBN (Electronic):
978-3-540-33103-2
Publication date (Print):
2006
DOI:
10.1007/11691617
SO-VID:
ad0ae519-e1dd-4d0f-9b80-a93b7756a079
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 293
jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str)
pp. 53
Larger Automata and Less Work for LTL Model Checking
pp. 71
Don’t Know in Probabilistic Systems
pp. 146
Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers
pp. 299
Model Checking Dynamic States in GROOVE
Similar content
2,602
Myelographic CT, A Check-Valve Mechanism, and Microsurgical Treatment of Sacral Perineural Tarlov Cysts
Authors:
Miyu Kikuchi
,
Keisuke Takai
,
Ayako Isoo
…
MAFLD Predicts the Risk of Cardiovascular Disease Better than NAFLD in Asymptomatic Subjects with Health Check-Ups.
Authors:
Hyoeun Kim
,
Chan Joo Lee
,
Sang Hoon Ahn
…
A quality check of the \(AKARI\) mid-infrared all-sky diffuse map toward the massive star-forming regions NGC 6334 and NGC 6357
Authors:
Hidetoshi Sano
,
Tomoya Amatsutsu
,
Toru Kondo
…
See all similar
Cited by
1
Approximation Techniques for Stochastic Analysis of Biological Systems
Authors:
Thakur Neupane
,
Zhen Zhang
,
Curtis Madsen
…
See all cited by