Normal view MARC view ISBD view

Formal methods : foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings / SBMF 2017 Simone Cavalheiro, José Fiadeiro (eds.). - 1 online resource (x, 305 pages) : illustrations - Lecture notes in computer science, 10623 0302-9743 ; LNCS sublibrary. SL 2, Programming and software engineering . - Lecture notes in computer science ; 10623. LNCS sublibrary. SL 2, Programming and software engineering. .

International conference proceedings. Includes author index.

Formal methods integration and experience reports -- Model checking -- Refinement and verification -- Semantics and languages.

The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.

ISBN: 9783319708485 3319708481

Standard No.: 10.1007/978-3-319-70848-5 doi

Source: com.springer.onix.9783319708485 Springer Nature

Nat. Bib. No.: GBB8N8609 bnb

Nat. Bib. Agency Control No.: 019169161 Uk

Subjects--Topical Terms:
Formal methods (Computer science)--Congresses.
Méthodes formelles (Informatique)--Congrès.
simulation.
Computer science.
Computer modelling & simulation.
Information technology: general issues.
Systems analysis & design.
Software Engineering.
Computers--Computer Science.
Computers--Computer Simulation.
Computers--General.
Computers--Hardware--Handheld Devices.
Computers--Software Development & Engineering--General.
Formal methods (Computer science)

Index Terms--Genre/Form:
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.

LC Class. No.: QA76.9.F67

Dewey Class. No.: 004.01/51