Nathan Wasser

Available identifiers

zbMath Open wasser.nathanMaRDI QIDQ1707600

List of research outcomes

Publication	Date of Publication	Type
The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics	2024-03-01	Paper
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows	2022-11-04	Paper
Array abstraction with symbolic pivots	2021-05-20	Paper
Fermat, Euler, Wilson -- three case studies in number theory	2018-04-03	Paper
Generating Specifications for Recursive Methods by Abstracting Program States	2017-08-31	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nathan Wasser