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
18
views
20
references
Top references
cited by
0
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,044
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Software Language Engineering
Whiley: A Platform for Research in Software Verification
other
Author(s):
David J. Pearce
,
Lindsay Groves
Publication date
(Print):
2013
Publisher:
Springer International Publishing
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
Graphic Novels
Most cited references
20
Record
: found
Abstract
: not found
Book
: not found
Principles of Program Analysis
Flemming Nielson
,
Hanne Nielson
,
Chris Hankin
(1999)
0
comments
Cited
66
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
The Spec# Programming System: An Overview
Mike Barnett
,
K. Rustan M. Leino
,
Wolfram Schulte
(2005)
0
comments
Cited
58
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Simplify: a theorem prover for program checking
David Detlefs
,
Greg Nelson
,
James Saxe
(2005)
0
comments
Cited
52
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2013
Pages
: 238-248
DOI:
10.1007/978-3-319-02654-1_13
SO-VID:
3ba883a6-ad27-4243-9bbf-01f1db35cb78
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Dark Knowledge and Graph Grammars in Automated Software Design
pp. 19
Developing a Domain-Specific Language for Scheduling in the European Energy Sector
pp. 36
Micro-Machinations
pp. 56
xMOF: Executable DSMLs Based on fUML
pp. 76
Variability Support in Domain-Specific Language Development
pp. 96
Software Evolution to Domain-Specific Languages
pp. 117
Micropatterns in Grammars
pp. 137
Safe Specification of Operator Precedence Rules
pp. 157
Detecting Ambiguity in Programming Language Grammars
pp. 177
A Pretty Good Formatting Pipeline
pp. 197
The State of the Art in Language Workbenches
pp. 218
A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation
pp. 238
Whiley: A Platform for Research in Software Verification
pp. 249
Method and Tool Support for Classifying Software Languages with Wikipedia
pp. 260
A Language Independent Task Engine for Incremental Name and Type Analysis
pp. 281
A Generic Framework for Symbolic Execution
pp. 302
Circular Higher-Order Reference Attribute Grammars
pp. 322
Mapping-Aware Megamodeling: Design Patterns and Laws
pp. 344
Partial Instances via Subclassing
pp. 365
Reifying Concurrency for Executable Metamodeling
Similar content
3,044
Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving
Authors:
Paula Herber
,
Robert Reicherdt
,
Patrick Bittner
A verification study for energy analysis of BIPV buildings with BIM
Authors:
Shang-Hsien Hsieh
,
Hang-Jung Kuo
,
Rong-Chin Guo
…
Improving the Financial Aid Process for Community College Students: A Literature Review of FAFSA Simplification, Information, and Verification
Authors:
J. DAVIDSON
See all similar