Model Checking with Boolean Satisfiability

Marques-Silva, Joao (2008) Model Checking with Boolean Satisfiability. Journal of Algorithms in Cognition, Informatics and Logic, 63, (1-3), 3-16.


[img] PDF
Download (206Kb)
Item Type: Article
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 265229
Date Deposited: 29 Feb 2008 12:14
Last Modified: 28 Mar 2014 15:16
Research Funder: EPSRC
NOTOS: New algOrithm for LTL mOdel checking with Satisfiability
Funded by: EPSRC (EP/E012973/1)
Led by: Bernd Fischer
2 April 2007 to 1 April 2010
Publisher: Elsevier
Further Information:Google Scholar
ISI Citation Count:2

Actions (login required)

View Item View Item