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.

Download

[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
Projects:
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
URI: http://eprints.soton.ac.uk/id/eprint/265229

Actions (login required)

View Item View Item