Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sven Verdoolaege
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Equivalence Checking of Arithmetic Expressions Using Fast Evaluation
Client-Specific Equivalence Checking
An Efficient Equivalence-Checking Algorithm for a Model of Programs With Commutative and Absorptive Statements
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Model Checking Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets
Verification of Concurrent Quantum Protocols by Equivalence Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Equivalence Checking for High-Assurance Behavioral Synthesis
Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using K-Induction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Static Checking of Interprocess Communication in ECSP
ACM SIGPLAN Notices
