Resolution-based Methods for Linear Temporal Reasoning
Automating invariant and progress proofs for distributed systems
A Theory of Programs
Abstract Perspectives on Modularity in Knowledge Representation
DL^N: a utilitarian nonmonotonic description logic
The RiSE Network is looking for several postdocs and PhD students in formal methods, systems engineering and related fields such as programming languages and distributed systems.
The Formal Methods in Systems Engineering Group at Vienna University of Technology offers 10 PhD/PostDoc positions.