Blogs (61) >>
Mon 16 Jul 2018 16:25 - 16:50 at Hanoi - Session 3

The standard Java API defines a number of useful and widely used interfaces, where the flow of methods invoked on objects must follow certain patterns to ensure their correct use. Typically, such patterns are informally specified in the documentation with several rules, which often do not cover full details, and are scattered throughout the whole documentation, since they usually involve more methods which are invoked subsequently. Failing to follow such rules causes a throw of IllegalStateException, or similar exceptions. Let us consider, for instance, the specification of the following types defined by the standard API of Java 10 in module java.base.

Mon 16 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:15: Session 3FTfJP at Hanoi
16:00 - 16:25
Short-paper
Reasoning about Functional Programming in Java and C++
FTfJP
David CokCEA, LIST, Software Safety and Security Laboratory
Pre-print
16:25 - 16:50
Short-paper
A Formalism for Specification of Java API Interfaces
FTfJP
Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Luca FranceschiniDIBRIS, University of Genova
Pre-print
16:50 - 17:15
Short-paper
Static Latency Tracking with Placement Types
FTfJP
Pascal WeisenburgerTechnische Universität Darmstadt, Tobias ReinhardTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
Pre-print
17:15 - 17:45
Demonstration
Tool demonstration: The VerCors Verification Toolset
FTfJP
Wytse OortwijnUniversity of Twente, The Netherlands
Pre-print
17:45 - 18:15
Full-paper
An Exercise in Verifying Sequential Programs with VerCors
FTfJP
Sebastiaan Joosten, Wytse OortwijnUniversity of Twente, The Netherlands, Mohsen SafariUniversity of Twente, The Netherlands, Marieke HuismanUniversity of Twente
Pre-print