|
СТ |
Some Results on Propositional Dynamic Logic with Fixed Points |
1997 |
Rents I., Shilov N. |
|
|
|
Lecture Notes in Computer Science |
27.06.1997 |
|
СТ |
F@BOOL@: Towards a Simple Verifying Compiler Based on SAT-Solvers |
2009 |
Shilov N., Bodin E. |
|
|
|
PSI 09 IW on Program Understanding |
24.07.2009 |
|
СТ |
Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler |
2010 |
Shilov N., Bodin E., Shilova S. |
Computer Science |
|
|
Bulletin of the Novosibirsk Computing Center |
05.04.2011 |
|
СТ |
Program Schemata Technique to Solve Propositional Program Logics Revised |
2016 |
Shilov N. |
Lecture Notes in Computer Science |
|
|
PSI 10 |
06.09.2016 |
