Crate finch
See all finch's items
Finch: A Symbolic Executor Built With Falcon
A Symbolic Executor for Falcon IL
Modelling of Platforms (Execution environments, e.g. the Linux Operating System)