ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Model Checking Algol-Like Languages Using Game Semantics
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - Lecture Notes in Computer Science
◽
10.1007/3-540-36206-1_4
◽
2002
◽
pp. 33-36
Author(s):
C. -H. L. Ong
Keyword(s):
Model Checking
◽
Game Semantics
Download Full-text
Related Documents
Cited By
References
Software Model Checking Based on Game Semantics and CSP
Electronic Notes in Theoretical Computer Science
◽
10.1016/j.entcs.2005.04.007
◽
2005
◽
Vol 128
(6)
◽
pp. 105-125
◽
Cited By ~ 1
Author(s):
Aleksandar Dimovski
◽
Ranko Lazić
Keyword(s):
Model Checking
◽
Software Model Checking
◽
Game Semantics
◽
Software Model
Download Full-text
Symbolic Game Semantics for Model Checking Program Families
Model Checking Software - Lecture Notes in Computer Science
◽
10.1007/978-3-319-32582-8_2
◽
2016
◽
pp. 19-37
◽
Cited By ~ 9
Author(s):
Aleksandar S. Dimovski
Keyword(s):
Model Checking
◽
Game Semantics
Download Full-text
Model-Checking of Infinite Graphs Defined by Graph Grammars
Electronic Notes in Theoretical Computer Science
◽
10.1016/s1571-0661(05)01231-4
◽
2000
◽
Vol 5
◽
pp. 1
◽
Cited By ~ 2
Author(s):
O BURKART
◽
Y QUEMENER
Keyword(s):
Model Checking
◽
Infinite Graphs
◽
Graph Grammars
Download Full-text
Using task analytic models and phenotypes of erroneous human behavior to discover system failures using model checking
PsycEXTRA Dataset
◽
10.1037/e578742012-006
◽
2010
◽
Author(s):
Matthew L. Bolton
◽
Ellen J. Bass
Keyword(s):
Model Checking
◽
Human Behavior
◽
System Failures
◽
Analytic Models
Download Full-text
Nominal Game Semantics
10.1561/9781680831078
◽
2016
◽
Cited By ~ 1
Author(s):
Andrzej S. Murawski
◽
Nikos Tzevelekos
Keyword(s):
Game Semantics
Download Full-text
Statistical Model Checking of Approximate Circuits: Challenges and Opportunities
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)
◽
10.23919/date48585.2020.9116207
◽
2020
◽
Author(s):
Josef Strnadel
Keyword(s):
Model Checking
◽
Statistical Model
◽
Statistical Model Checking
◽
Challenges And Opportunities
Download Full-text
Towards the improvement of model checking
Advanced Computer Control
◽
10.2495/icacc130031
◽
2014
◽
Author(s):
Peiyu Huang
Keyword(s):
Model Checking
Download Full-text
Model Checking Control Software for Nonlinear Dynamic Systems
AIAA Guidance, Navigation and Control Conference and Exhibit
◽
10.2514/6.2008-6800
◽
2008
◽
Author(s):
James Kapinski
◽
Alexandre Donze
◽
Flavio Lerda
◽
Hitashyam Maka
◽
Edmund Clarke
◽
...
Keyword(s):
Model Checking
◽
Dynamic Systems
◽
Nonlinear Dynamic
◽
Nonlinear Dynamic Systems
◽
Control Software
Download Full-text
REQUIREMENT FORMALIZATION FOR MODEL CHECKING USING EXTENDED BACKUS NAUR FORM
i-manager’s Journal on Software Engineering
◽
10.26634/jse.13.3.15687
◽
2019
◽
Vol 13
(3)
◽
pp. 1
Author(s):
ALIYU E. O.
◽
ADEWALE O. S.
◽
ADETUNMBI A. O.
◽
OJOKOH B. A.
◽
◽
...
Keyword(s):
Model Checking
Download Full-text
Development and evaluation of Formula Editor (a tool-based approach to enhance reusability in software product line model checking) on SAFER case study
10.31274/etd-180810-2879
◽
2009
◽
Author(s):
Sandeep Krishnan
Keyword(s):
Model Checking
◽
Software Product Line
◽
Product Line
◽
Line Model
◽
Software Product
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close