General

Profile

Alexander Kamkin

  • Login: kamkin
  • Email: askamkin@gmail.com
  • Registered on: 02/18/2010
  • Last connection: 07/20/2021

Issues

open closed Total
Assigned issues 134 419 553
Reported issues 109 623 732

Projects

Project Roles Registered on
Aspectrace Manager, Developer 07/06/2010
C++TESK Testing ToolKit Manager, Developer, Project Creator 04/15/2011
С++TESK Development Environment Manager, Developer 09/07/2011
Castle Manager, Developer, Project Creator 01/12/2016
CTESK Developer 07/09/2010
Deductive Verification Tool for Machine Code Manager 03/31/2020
Fortress Manager, Developer, Project Creator 09/12/2012
Functional Programming Developer 02/03/2020
Java SoftFloat Manager, Project Creator 10/03/2014
MicroTESK Manager, Developer, Project Creator 02/17/2011
MicroTESK Documentation Manager, Developer, Project Creator 12/16/2019
MicroTESK for MIPS Manager, Project Creator 11/08/2016
MicroTESK for Plasma Manager, Project Creator 10/06/2016
MicroTESK for PowerPC Manager, Project Creator 10/21/2016
MicroTESK for RISC-V Manager, Project Creator 10/24/2016
MicroTESK Training Course Manager, Developer, Project Creator 09/23/2013
Trace Matcher Manager, Project Creator 11/01/2016
Model Checking Manager, Developer, Project Creator 02/27/2020
QEMU4V Manager, Developer 05/15/2018
Retrascope Manager, Developer, Project Creator 04/11/2012
Retrascope IDE Manager, Developer, Project Creator 05/16/2014
Retrascope RISC-V Benchmark Manager, Developer, Project Creator 12/19/2018
Retrascope Test Suite Manager, Developer, Project Creator 03/28/2018
TestBase Manager, Developer, Project Creator 02/25/2014
Verilog Translator Manager, Developer, Project Creator 04/11/2012
Veritool Manager, Developer, Project Creator 06/29/2010
КМБ-2014 Developer 09/29/2014

Activity

05/15/2021

02:39 PM Model Checking 13-sat-and-smt-solvers.pdf
Alexander Kamkin
02:39 PM Model Checking 12-smv-model-checker-2.pdf
Alexander Kamkin
02:39 PM Model Checking 11-smv-model-checker-1.pdf
Alexander Kamkin
02:38 PM Model Checking 10-test-2.pdf
Alexander Kamkin
02:37 PM Model Checking 09-symbolic-model-checking.pdf
Alexander Kamkin
02:37 PM Model Checking 08-ltl-to-buchi-automaton.pdf
Alexander Kamkin
02:37 PM Model Checking 07-buchi-automata.pdf
Alexander Kamkin
02:37 PM Model Checking 06-modeling-and-abstraction.pdf
Alexander Kamkin
02:36 PM Model Checking 05-test-1.pdf
Alexander Kamkin
02:36 PM Model Checking 04-spin-model-checker-2.pdf
Alexander Kamkin

Also available in: Atom