Lecture Notes in Computer Science

A book, report or monograph series.

Springer's series, not a venue. A paper here belongs to some conference whose proceedings the series carried; the conference is the thing to browse by, and it sits inside this set.

Inside this

Automated Technology for Verification and Analysis (ATVA) venue Conference on Automated Deduction (CADE) venue Computer Aided Verification (CAV) venue Computer Science Logic (CSL) venue European Symposium on Programming (ESOP) venue Formal Methods (FM) venue Formal Methods for Open Object-Based Distributed Systems (FMOODS) venue Foundations of Software Science and Computation Structures (FoSSaCS) venue Foundations of Software Technology and Theoretical Computer Science (FSTTCS) venue Integrated Formal Methods (iFM) venue Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) venue Mathematics of Program Construction (MPC) venue NASA Formal Methods (NFM) venue Passive and Active Measurement (PAM) venue SEFM: Software Engineering and Formal Methods venue Tools and Algorithms for the Construction and Analysis of Systems (TACAS) venue Theory and Practice of Software Development (TAPSOFT) venue Theorem Proving in Higher Order Logics (TPHOLs) venue Verified Software: Theories, Tools, Experiments (VSTTE) venue

32 references

Global BGP Attacks that Evade Route Monitoring
Henry Birge-Lee et al. (2025) · International Conference on Passive and Active Network Measurement
Following the Data Trail: An Analysis of IXP Dependencies
Malte Tashiro et al. (2024) · International Conference on Passive and Active Network Measurement
Foundations for entailment checking in quantitative separation logic
Kevin Batz et al. (2022) · 31st European Symposium on Programming (ESOP)
What you need to know about (smart) network interface cards
Georgios P. Katsikas et al. (2021) · International Conference on Passive and Active Network Measurement
Syntax-Guided Quantifier Instantiation
Aina Niemetz et al. (2021) · 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
History-Based Specification and Verification of Java Collections in KeY
Hans-Dieter A. Hiep et al. (2020) · Integrated Formal Methods
State Space Reduction For Parity Automata
Christof Löding et al. (2020) · 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
A First-Order Logic with Frames
Adithya Murali et al. (2020) · Programming Languages and Systems
The VerCors Tool Set: Verification of Parallel and Concurrent Software
Stefan Blom et al. (2017) · Integrated Formal Methods
Biabduction (and Related Problems) in Array Separation Logic
James Brotherston et al. (2017) · Automated Deduction – CADE 26
Deductive Software Verification – The KeY Book
Mattias Ulbrich et al. (2016)
A Program Construction and Verification Tool for Separation Logic
Brijesh Dongol et al. (2015) · Mathematics of Program Construction
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
Stijn de Gouw et al. (2015) · Computer Aided Verification
A Fully Verified Container Library
Nadia Polikarpova et al. (2015) · FM 2015: Formal Methods
Foundations for Decision Problems in Separation Logic with General Inductive Predicates
Timos Antonopoulos et al. (2014) · Foundations of Software Science and Computation Structures
Automating Separation Logic with Trees and Data
Ružica Piskač et al. (2014) · Computer Aided Verification
Completeness of separation logic with inductive definitions for program verification
Makoto Tatsuta et al. (2014) · International Conference on Software Engineering and Formal Methods
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Bernhard Beckert et al. (2013)
Automating Separation Logic Using SMT
Ružica Piskač et al. (2013) · Computer Aided Verification
Abstract Object Creation in Dynamic Logic: To Be or Not to Be Created
Wolfgang Ahrendt et al. (2009) · FM 2009: Formal Methods
Software Verification and System Assurance
John Rushby (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Completeness of Pointer Program Verification by Separation Logic
Makoto Tatsuta et al. (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
A Theory of Hygienic Macros
David Herman et al. (2008) · Programming Languages and Systems
A Local Shape Analysis Based on Separation Logic
Dino Distefano et al. (2006) · Tools and Algorithms for the Construction and Analysis of Systems
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions
Ioannis T. Kassios (2006) · FM 2006: Formal Methods
A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic
Tom Ridge et al. (2005) · Theorem Proving in Higher Order Logics
A Decidable Fragment of Separation Logic
Josh Berdine et al. (2004) · FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Local Reasoning about Programs that Alter Data Structures
Peter W. O'Hearn et al. (2001) · Computer Science Logic
A WP-calculus for OO
Frank S. de Boer (1999) · Foundations of Software Science and Computation Structures
A Lightweight Approach to Formal Methods
Sten Agerholm et al. (1998) · Applied Formal Methods — FM-Trends 98
A logic of object-oriented programs
Martín Abadi et al. (1997) · TAPSOFT '97: Theory and Practice of Software Development
First-Order Dynamic Logic
David Harel (1979)