Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030510534, 9783030510541
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals The Imandra Automated Reasoning System (System Description)

2020 ◽  
pp. 464-471 ◽  
Author(s):  
Grant Passmore ◽  
Simon Cruanes ◽  
Denis Ignatovich ◽  
Dave Aitken ◽  
Matt Bray ◽  
...  
Keyword(s):  
Automated Reasoning ◽  
System Description ◽  
Reasoning System

scholarly journals N-PAT: A Nested Model-Checker

2020 ◽  
pp. 369-377
Author(s):  
Hadrien Bride ◽  
Cheng-Hao Cai ◽  
Jin Song Dong ◽  
Rajeev Gore ◽  
Zhé Hóu ◽  
...  
Keyword(s):  
Model Checker ◽  
Nested Model

scholarly journals Formalization of Forcing in Isabelle/ZF

2020 ◽  
pp. 221-235
Author(s):  
Emmanuel Gunther ◽  
Miguel Pagano ◽  
Pedro Sánchez Terraf
Load More ...
Sign in / Sign up

Export Citation Format

Share Document