ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
32
views
13
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
1,821
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
FM 2006: Formal Methods
Using Domain-Independent Problems for Introducing Formal Methods
other
Author(s):
Raymond Boute
Publication date
(Print):
2006
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
oa repository (via OAI-PMH title and first author match)
oa repository (via OAI-PMH title and first author match)
Powered by
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
NeuroImaging Methods
Most cited references
13
Record
: found
Abstract
: not found
Book
: not found
The Science of Programming
David Gries
(1981)
0
comments
Cited
71
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book
: not found
A Logical Approach to Discrete Math
David Gries
,
Fred B. Schneider
(1993)
0
comments
Cited
13
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book
: not found
The Z Notation: A Reference manual
J. M. Spivey
,
J. M. Spivey
,
J.M. Spivey
…
(1989)
0
comments
Cited
5
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2006
Pages
: 316-331
DOI:
10.1007/11813040_22
SO-VID:
aea4dce5-57a8-4859-9ae7-0c5d9f8544cd
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
The Embedded Systems Design Challenge
pp. 48
Certifying Airport Security Regulations Using the Focal Environment
pp. 147
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
pp. 268
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions
pp. 284
Type-Safe Two-Level Data Transformation
pp. 316
Using Domain-Independent Problems for Introducing Formal Methods
pp. 460
Formal Verification of a C Compiler Front-End
pp. 476
A Memory Model Sensitive Checker for C#
pp. 557
Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces
pp. 573
PSL Model Checking and Run-Time Verification Via Testers
Similar content
1,821
Research Productivity of Residents and Surgeons With Formal Research Training
Authors:
Shaheed Merani
,
Noah Switzer
,
Ahmed Kayssi
…
Balancing an accurate representation of the molecular surface in generalized born formalisms with integrator stability in molecular dynamics simulations.
Authors:
Jana Chocholousová
,
Michael Feig
Asymmetric Isothiourea-Catalysed Formal [3+2] Cycloadditions of Ammonium Enolates with Oxaziridines
Authors:
Siobhan R Smith
,
Charlene Fallan
,
James E. Taylor
…
See all similar
Cited by
1
Microsemantics as a Bootstrap in Teaching Formal Methods
Authors:
Raymond Boute
See all cited by