Searching for authors named "Koen Claessen" – sorted by Relevance.
38 documents found, showing 1 through 10.
Next 10 →
-
ABSTRACT QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
- …ABSTRACT QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Koen Claessen…
- Add To MetaCart
-
Embedded Languages for Describing and Verifying Hardware
- … Hardware Koen Claessen Department of Computing Science Chalmers University of Technology and G…
- Cited by 14 (1 self) – Add To MetaCart
-
A semantics for distributed erlang
- …Abstract A Semantics for Distributed Erlang Koen Claessen Dept. of Computing Science Chalmers…
- Cited by 8 (2 self) – Add To MetaCart
-
Safety Property Verification of Cyclic Circuits
- …Safety Property Verication of Cyclic Circuits DRAFT Koen Claessen Chalmers University, Gothenburg…
- Cited by 1 (1 self) – Add To MetaCart
-
Program Transformations in and on a Lazy Functional Language - Express things Mondrianically!
- …Program Transformations in and on a Lazy Functional Language Express things Mondrianically! Koen…
- Cited by 1 (1 self) – Add To MetaCart
-
Functional Pearls: A Poor Man's Concurrency Monad
- … I ONAL PEARLS A Poor Man's Concurrency Monad Koen Claessen Chalmers University of Technology…
- Cited by 1 (0 self) – Add To MetaCart
-
New Techniques that Improve MACE-style Finite Model Finding
- … New Techniques that Improve MACE-style Finite Model Finding Koen Claessen and Niklas S…
- Cited by 25 (1 self) – Add To MetaCart
-
A Coverage Analysis for Safety Property Lists
- …A Coverage Analysis for Safety Property Lists DRAFT Koen Claessen koen@(email omitted); Chalmers…
- Cited by 4 (0 self) – Add To MetaCart
-
Symbolic Trajectory Evaluation using a SAT solver
- …Symbolic Trajectory Evaluation using a SAT solver Koen Claessen (koen@(email omitted);) and Jan…
- Add To MetaCart
-
Sat-based assistance in abstraction refinement for symbolic trajectory evaluation
- …-Willem Roorda and Koen Claessen Chalmers University of Technology, Sweden {jwr, koen}@(email omitted); Abstract. We…
- Cited by 8 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
