PEQUOD verifies relational properties on JVM bytecode by simultaneously synthesizing invariants and finding synchronization points guided by those invariants.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2019 2verdicts
UNVERDICTED 2representative citing papers
DIbugger is a debugging tool for analyzing counterexamples of relational properties by enabling simultaneous inspection of multiple related program executions.
citing papers explorer
-
Relational Verification via Invariant-Guided Synchronization
PEQUOD verifies relational properties on JVM bytecode by simultaneously synthesizing invariants and finding synchronization points guided by those invariants.
-
Understanding Counterexamples for Relational Properties with DIbugger
DIbugger is a debugging tool for analyzing counterexamples of relational properties by enabling simultaneous inspection of multiple related program executions.