Go to main content

Formal methods: foundations and applications [electronic resource] : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / Márcio Cornélio, Bill Roscoe (eds.).

Brazilian Symposium on Formal Methods (18th : 2015 : Belo Horizonte, Brazil); Cornelio, Marcio, editor.; Roscoe, A. W., editor.
2016
QA76.9.F67
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Formal methods: foundations and applications [electronic resource] : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / Márcio Cornélio, Bill Roscoe (eds.).
Meeting Name
Brazilian Symposium on Formal Methods (18th : 2015 : Belo Horizonte, Brazil)
ISBN
9783319294735 (electronic book)
3319294733 (electronic book)
9783319294728
Published
Switzerland : Springer, 2016.
Language
English
Description
1 online resource (xviii, 195 pages) : illustrations.
Call Number
QA76.9.F67
Dewey Decimal Classification
004.01/51
Summary
This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.
Note
International conference proceedings.
Bibliography, etc. Note
Includes bibliographical references and author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed April 4, 2016).
Added Author
Cornelio, Marcio, editor.
Roscoe, A. W., editor.
Series
Lecture notes in computer science ; 9526.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Model Checking
Hard-wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware
Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking
Languages and Semantics
Mobile CSP
Evaluating the Assignment of Behavioral Goals to Coalitions of Agents
Towards Reasoning in Dynamic Logics with Rewriting Logic: the Petri-PDL Case
Refinement and Verification
Refinement strategies for Safety-Critical Java
Verifying Transformations of Java programs using Alloy.-A Mechanized Textbook Proof of a Type Unification Algorithm
Testing and Evaluation
Automatic generation of test cases and test purposes from natural language
Time Performance Formal Evaluation of Complex Systems
Test Case Generation from Natural Language Requirements using CPN Simulation.

Browse Subjects

Show more subjects...

Statistics

from
to
Export