This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Electronic Proceedings in Theoretical Computer Science
A book, report or monograph series.
Electronic Proceedings in Theoretical Computer Science: an open-access series of workshop proceedings. Not a venue: the workshop named in each paper is the venue.
29 references
RV32I in ACL2
Carl Kwan (2025) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers
Theo Drane and others (2024) · 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH) · IEEE
Hardware/Software Co-Assurance using the Rust Programming Language and ACL2
David S. Hardin (2022) · Proceedings of the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022)
VWSIM: A Circuit Simulator
Warren A. Hunt and others (2022) · Proceedings of the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022)
Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks
Radu Mateescu and others (2020) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
Formal Verification of Arithmetic RTL: Translating Verilog to C++ to ACL2
David M. Russinoff (2020) · Proceedings of the 16th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2020)
RP-Rewriter: An Optimized Rewriter for Large Terms in ACL2
Mertcan Temel (2020) · Proceedings of the 16th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2020)
Verifying the DPLL Algorithm in Dafny
Cezar-Constantin Andrici and others (2019) · Electronic Proceedings in Theoretical Computer Science
Adding 32-bit Mode to the ACL2 Model of the x86 ISA
Alessandro Coglio and others (2018) · Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2018)
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
Alexander Knüppel and others (2018) · Formal Integrated Development Environment 2018 (F-IDE 2018) · Open Publishing Association
Smtlink 2.0
Yan Peng and others (2018) · Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2018)
Meta-extract: Using Existing Facts in Meta-reasoning
Matt Kaufmann and others (2017) · Proceedings of the 14th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2017)
HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems
Lukáš Charvát and others (2016) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
Orchestrated Session Compliance
Franco Barbanera and others (2015) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
Extending ACL2 with SMT Solvers
Yan Peng and others (2015) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard
Wendelin Serwe (2015) · Proceedings of the 2nd International Workshop on Models for Formal Analysis of Real Systems (MARS 2015)
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse
David R. Cok (2014) · Formal Integrated Development Environment 2014 (F-IDE 2014) · Open Publishing Association
Modeling Algorithms in SystemC and ACL2
John W. O'Leary and others (2014) · Proceedings of the 12th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2014)
An ACL2 Mechanization of an Axiomatic Framework for Weak Memory
Benjamin Selfridge (2014) · Proceedings of the 12th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2014)
Formal Analysis of Soft Errors using Theorem Proving
Naeem Abbasi and others (2013) · Electronic Proceedings in Theoretical Computer Science
Contract agreements via logic
Massimo Bartoletti and others (2013) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
Verified AIG Algorithms in ACL2
Jared Davis and others (2013) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
Choreography Synthesis as Contract Agreement
Julien Lange and others (2013) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
A formalisation of XMAS
Bernard van Gastel and others (2013) · Proceedings of the 11th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2013)
Verification of Building Blocks for Asynchronous Circuits
Freek Verbeek and others (2013) · Proceedings of the 11th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2013)
Lessons Learned From Microkernel Verification — Specification is the New Bottleneck
Christoph Baumann and others (2012) · Systems Software Verification Conference 2012 (SSV 2012) · Open Publishing Association
Bit-Blasting ACL2 Theorems
Sol Swords and others (2011) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
Primitives for Contract-based Synchronization
Massimo Bartoletti and others (2010) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
Contracts for Abstract Processes in Service Composition
Maria Grazia Buscemi and others (2010) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association