Login / Signup
Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions.
Randal E. Bryant
Shuvendu K. Lahiri
Sanjit A. Seshia
Published in:
CAV (2002)
Keyphrases
</>
predicate logic
neural network
genetic algorithm
case study
modal logic
asynchronous circuits
real time
information systems
expert systems
management system
facial expressions
knowledge based systems
modeling method
formal methods