Sign in
Consistency and Persistency in Program Verification: Challenges and Opportunities.
Parosh Aziz Abdulla
Mohamed Faouzi Atig
Ahmed Bouajjani
Bengt Jonsson
K. Narayan Kumar
Prakash Saivasan
Published in:
Principles of Systems Design (2022)
Keyphrases
</>
lessons learned
real world
key issues
application scenarios
databases
data mining
three dimensional
neural network
constraint networks
technical challenges
emerging technologies
consistency checking
advanced technologies