2 papers
cs.PL2026
Parameterized Verification of Deterministic MPI Programs
Stephen F. Siegel
We consider the problem of verifying a message passing program in which the number of processes is a parameter NP and each process knows its unique ID. Processes communicate using…
cs.LO2026
LAP: Simple Command-line Tools for Teaching Logic, Algorithms, and Proof in Computer Science
Stephen F. Siegel, Yuxin Zhou
The LAP toolset is a set of command line tools for teaching logic in computer science. It provides implementations of standard algorithms for propositional and first order logic, i…