Tag modelchecking [114 articles] Export

Recent papers classified by the tag modelchecking.

	Another Look at LTL Model Checking [My Copy] Formal Methods in System Design In Formal Methods in System Design, Vol. 10, No. 1. (1 February 1997), pp. 47-71. by Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi posted to modelchecking by keigoi on 2009-12-11 06:42:32 as
	Tools and rules for the practicing verifier [My Copy] (1990) by Z. Manna, Amir Pnueli posted to modelchecking ltl by fsautomata on 2009-11-05 04:15:49 as
	Formal Support for QVT-Relations with Coloured Petri Nets [My Copy] Model Driven Engineering Languages and Systems In Model Driven Engineering Languages and Systems (2009), pp. 256-270. by Juan de Lara, Esther Guerra posted to qvt petrinetproperties modeltransformationvalidation modeltransformation modelchecking debugging colouredpetrinets by tropic on 2009-10-16 08:49:52 as
	A Grammatical Representation of Visibly Pushdown Languages [My Copy] Logic, Language, Information and Computation (2007), pp. 1-11. by Joachim Baran, Howard Barringer posted to visiblypushdown modelchecking logic grammar formallanguage contextfree by joachimbaran on 2009-10-03 20:52:59 as
	Bounded model checking [My Copy] Advances in Computers, Vol. 58 (2003) by A. Biere, A. Cimatti, E. Clarke, O. Strichman, Y. Zhu posted to modelchecking by meolic on 2009-09-30 09:31:17 as along with 4 people and 2 groups p2p01 bfraser sjgaller voronov Context-driven-testers Desgin-by-Contract
	The Beginning of Model Checking: A Personal Perspective [My Copy] 25 Years of Model Checking (2008), pp. 27-45. by E. Emerson posted to modelchecking by meolic on 2009-09-30 09:30:09 as along with 3 people zhensong michaelbanks leonardo
	The Birth of Model Checking [My Copy] 25 Years of Model Checking (2008), pp. 1-26. by Edmund Clarke posted to modelchecking by meolic on 2009-09-30 09:29:27 as along with 9 people websecurity zhensong mattmight maddogmiller michaelbanks streetlightios leonardo mishra_satish zbchen
	Testing with model checkers: a survey [My Copy] Software Testing, Verification and Reliability, Vol. 19, No. 3. (2009), pp. 215-261. by Gordon Fraser, Franz Wotawa, Paul E. Ammann posted to testing survey modelchecking by meolic on 2009-09-30 08:28:04 as along with 1 person leonardo
	MCMAS: A Model Checker for the Verification of Multi-Agent Systems [My Copy] Computer Aided Verification (2009), pp. 682-688. by Alessio Lomuscio, Hongyang Qu, Franco Raimondi posted to systems modelchecking mcmas interpreted essurvey diningcrypt by fdechesn on 2009-09-01 13:18:08 as
	Finding Stubborn Sets of Coloured Petri Nets without Unfolding [My Copy] Application and Theory of Petri Nets 1998 (1998), pp. 104-123. by Lars Kristensen, Antti Valmari posted to colouredpetrinets modelchecking by tropic on 2009-07-28 13:02:46 as
	Model Checking [My Copy] (07 January 1999) by Edmund M. Clarke, Orna Grumberg, Doron A. Peled posted to modelchecking by tropic on 2009-07-20 07:19:59 as along with 15 people and 2 groups dwei98 streetlightios mishra_satish qurat yliesfalcone zhensong srccheck hmeyer fheintz schuh cbertolini gfraser arturmeski juniorpivetta zuleger StFX Centre for Logic and Information gk-intern
	WS-Policy for service monitoring [My Copy] In 6th VLDB Intl. Workshop on Technologies for E-Services, volume 3811 of Lect. Notes in Computer Science (2006), pp. 72-83. by L. Baresi, S. Guinea, P. Plebani posted to modelchecking softwareengineering testing by nigno on 2009-06-25 20:17:54 as
	Using Model Checking to Generate Tests from Requirements Specifications [My Copy] In In Proceedings of the Joint 7th European Software Engineering Conference and 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering (1999), pp. 146-162. by Angelo Gargantini, Constance Heitmeyer posted to modelchecking softwareengineering testing by nigno on 2009-06-25 11:32:53 as
	Principles of Model Checking [My Copy] (31 May 2008) by Christel Baier, Joost-Pieter Katoen posted to modelchecking by mperalta on 2009-06-10 18:03:50 as along with 4 people dwei98 cometyang srccheck leonardo
	Construction of abstract state graphs with PVS [My Copy] Computer Aided Verification (1997), pp. 72-83. by Susanne Graf, Hassen Saidi posted to 1997 abstraction blast booleanprogram modelchecking slam by shimomura on 2009-05-14 15:58:16 as along with 1 person bfraser
	Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams [My Copy] J. Applied Logic, Vol. 5, No. 2. (2007), pp. 235-251. by Franco Raimondi, Alessio Lomuscio posted to multiagent diningcrypt essurvey modelchecking by fdechesn on 2009-04-22 12:22:22 as along with 1 person sgwyj
	UPPAAL — a tool suite for automatic verification of real-time systems [My Copy] Hybrid Systems III (1996), pp. 232-243. by Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi posted to ltl modelchecking by fsautomata on 2009-03-19 18:32:42 as
	Software Construction and Analysis Tools for Future Space Missions [My Copy] by Michael R. Lowry posted to ltl modelchecking by fsautomata on 2009-03-19 18:30:19 as
	Property specification patterns for finite-state verification [My Copy] In Proceedings of the Second Workshop on Formal Methods in Software Practice (1998), pp. 7-15. by Matthew B. Dwyer, George S. Avrunin, James C. Corbett posted to ltl modelchecking by fsautomata on 2009-03-18 03:55:20 as
	Fast LTL to Büchi Automata Translation [My Copy] In CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification (2001), pp. 53-65. by Paul Gastin, Denis Oddoux posted to ltl modelchecking by fsautomata on 2009-03-18 03:53:37 as
	The Model Checker SPIN [My Copy] IEEE Trans. Softw. Eng., Vol. 23, No. 5. (1997), pp. 279-295. by Gerard J. Holzmann posted to modelchecking by fsautomata on 2009-03-18 03:52:44 as along with 1 person fierykylin
	The complexity of propositional linear temporal logics [My Copy] J. ACM, Vol. 32, No. 3. (July 1985), pp. 733-749. by A. P. Sistla, E. M. Clarke posted to logic ltl modelchecking by fsautomata on 2009-03-18 03:50:55 as along with 1 person jfischer
	Reasoning about infinite computation paths [My Copy] Foundations of Computer Science, 1983., 24th Annual Symposium on In Foundations of Computer Science, 1983., 24th Annual Symposium on (1983), pp. 185-194. by Pierre Wolper, Moshe Y. Vardi, Prasad A. Sistla posted to ltl modelchecking by fsautomata on 2009-03-18 03:50:01 as
	Bisimulation minimization in an automata-theoretic verification framework [My Copy] In In Formal Methods in Computer-Aided Design (FMCAD (1998), pp. 115-132. by Kathi Fisler, Moshe Y. Vardi posted to ltl modelchecking by fsautomata on 2009-03-18 03:14:22 as
	ACTLW – An action-based computation tree logic with unless operator [My Copy] Information Sciences, Vol. 178, No. 6. (15 March 2008), pp. 1542-1557. by R. Meolic, T. Kapus, Z. Brezocnik posted to actl actlw modelchecking by meolic on 2009-03-12 12:58:32 as
	Slicing software for model construction [My Copy] In Higher-order and Symbolic Computation, Vol. 13 (1999), pp. 105-118. by Matthew B. Dwyer, John Hatcliff posted to 1999 modelchecking slicing by shimomura on 2009-02-24 14:43:30 as
	Patterns in property specifications for finite-state verification [My Copy] In In Proceedings of the 21st International Conference on Software Engineering (1999), pp. 411-420. by Matthew B. Dwyer, George S. Avrunin, James C. Corbett posted to 1999 modelchecking property specification verification by shimomura on 2009-02-12 01:48:55 as
	Weak, strong, and strong cyclic planning via symbolic model checking [My Copy] Artificial Intelligence, Vol. 147, No. 1-2. (26 February 2003), pp. 35-84. by A Cimatti, posted to 2003 modelchecking planning by davidmihalcik on 2009-02-11 21:40:01 as along with 1 person cyph3r
	Model Checking Knowledge and Time in Systems with Perfect Recall [My Copy] Foundations of Software Technology and Theoretical Computer Science In Foundations of Software Technology and Theoretical Computer Science (1999), pp. 432-445. by Ron van der Meyden, Nikolay Shilov posted to epistemic modelchecking temporal by fdechesn on 2009-02-09 10:45:28 as
	Automated environment generation for software model checking [My Copy] In In Proceedings of the 18th International Conference on Automated Software Engineering (2003), pp. 116-129. by Oksana Tkachuk, Matthew B. Dwyer posted to 2003 bandera modelchecking tool by shimomura on 2009-02-05 14:22:41 as
	Adapting side effects analysis for modular program model checking [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 28, No. 5. (2003), pp. 188-197. by Oksana Tkachuk, Matthew B. Dwyer posted to 2003 analysis bandera modelchecking tool by shimomura on 2009-02-05 14:21:26 as
	Model Checking Programs [My Copy] In Automated Software Engineering Journal, Vol. 10 (2000), pp. 3-12. by Willem Visser, Klaus Havelund, Guillaume Brat posted to 2000 java modelchecking thread by shimomura on 2009-02-05 14:17:50 as along with 2 people zhensong qdw1987
	To Store or Not to Store [My Copy] Computer Aided Verification (2003), pp. 433-445. by Gerd Behrmann, Kim G. Larsen, Radek Pelánek posted to 2003 modelchecking optimization tool by shimomura on 2009-02-05 14:00:24 as
	Analyzing mode confusion via model checking [My Copy] In Theoretical and Practical Aspects of SPIN Model Checking (SPIN ’99), volume 1680 of Lecture Notes in Computer Science (1999), pp. 120-135. by Gerald Lüttgen, Victor Carreño posted to 1999 gui modeconfusion modelchecking verification by shimomura on 2009-02-04 13:46:19 as
	Using model checking to help discover mode confusions and other automation surprises [My Copy] Vol. 75 (1999), pp. 167-177. by John Rushby posted to 1999 gui modeconfusion modelchecking by shimomura on 2009-02-04 13:44:09 as
	Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties [My Copy] Interactive Systems Design, Specification, and Verification (2001), pp. 135-150. by Fabio Paternò, Carmen Santoro posted to 2001 gui modelchecking specification verification by shimomura on 2009-02-04 13:42:12 as
	Model Checking Interactor Specifications [My Copy] Automated Software Engineering, Vol. 8, No. 3. (2001), pp. 275-310. by José C. Campos, Michael D. Harrison posted to 2004 gui modelchecking specification verification by shimomura on 2009-02-04 13:37:26 as
	Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking [My Copy] Formal Methods for Open Object-Based Distributed Systems (2007), pp. 44-58. by L. Cai, Jeremy Bradbury, Juergen Dingel posted to 2007 concurrent event modelchecking verification by shimomura on 2009-02-02 06:37:10 as
	Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software [My Copy] CONCUR 2001 — Concurrency Theory (2001), pp. 39-58. by John Hatcliff, Matthew Dwyer posted to 2001 bandera concurrent java modelchecking read verification by shimomura on 2009-02-02 06:35:18 as along with 1 person bfraser
	A Framework to Handle Linear Temporal Properties in (ω-)Regular Model Checking [My Copy] (26 Jan 2009) by Ahmed Bouajjani, Axel Legay, Pierre Wolper posted to formalmethods hybridsystems modelchecking by jleny on 2009-01-27 15:01:00 as
	Model checking for $π$-calculus using proof search [My Copy] (2005), pp. 36-50. by Alwen Tiu posted to concurrency modelchecking picalculus by keigoi on 2008-11-17 06:17:01 as
	Coq in a Hurry [My Copy] (7 Nov 2008) by Yves Bertot posted to formalmethods logic modelchecking verification by jleny on 2008-11-10 13:57:32 as along with 3 people mattmight shimomura _Anne_
	The SAVE approach to component-based development of vehicular systems [My Copy] Journal of Systems and Software, Vol. 80, No. 5. (May 2007), pp. 655-667. by M. Akerholm, J. Carlson, J. Fredriksson, et al.H. Hansson, J. Hakansson, A. Moller, P. Pettersson, M. Tivoli posted to modelchecking timed by shimomura on 2008-10-25 10:41:18 as
	Sheaves and geometric logic and applications to the modular verification of complex systems [My Copy] (16 Oct 2008) by Viorica Sofronie-Stokkermans posted to logic modelchecking verification by jleny on 2008-10-17 13:52:21 as
	Modular verification of software components in C [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 30, No. 6. (2004), pp. 388-402. by S. Chaki, E. M. Clarke, A. Groce, S. Jha, H. Veith posted to 2004 modelchecking read verification by shimomura on 2008-10-10 07:41:00 as
	Automated Compositional Abstraction Re nement for Concurrent C Programs: A Two-Level Approach [My Copy] by Sagar Chaki, Karen Yorav, Edmund Clarke posted to 2003 blast concurrent modelchecking read verification by shimomura on 2008-10-10 03:18:37 as
	State-Based Model Checking of Event-Driven System Requirements [My Copy] IEEE Transactions on Software Engineering, Vol. 19, No. 1. (1993), pp. 24-40. by J. M. Atlee, J. Gannon posted to 1993 event modelchecking by shimomura on 2008-09-24 12:29:58 as
	Thread-Modular Model Checking [My Copy] Model Checking Software (2003), pp. 624-624. by Cormac Flanagan, Shaz Qadeer posted to 2003 abstraction concurrent modelchecking verification by shimomura on 2008-09-23 14:29:48 as
	Discrete-Time Rewards Model-Checked [My Copy] Formal Modeling and Analysis of Timed Systems (2004), pp. 88-104. by Suzana Andova, Holger Hermanns, Joost-Pieter Katoen posted to 2005 modelchecking timed verification by shimomura on 2008-09-13 10:11:14 as along with 2 people suer msakai
	Verification of Peterson's Algorithm for Leader Election in a Unidirectional Asynchronous Ring Using NuSMV [My Copy] (7 Aug 2008) by Amin Ansari posted to distributedalgorithms formalmethods modelchecking verification by jleny on 2008-08-09 15:42:36 as

Note: You may cite this page as: http://www.citeulike.org/tag/modelchecking

Result page: 1 2 3 Next

verification	26
gui	12
read	12
blast	10
ltl	10
2002	9
2003	9
spin	9
testing	9
2001	7
2004	7
essurvey	7
slam	6
2005	5
bandera	5
bounded	5
concurrent	5
picalculus	5
processalgebras	5
1999	4
2000	4
concurrency	4
diningcrypt	4
java	4
logic	4
softwareengineering	4
specification	4
systems	4
theory	4
timed	4
2007	3
epistemic	3
formalmethods	3
pi	3
tool	3
type	3
1997	2
2006	2
abstraction	2
bebop	2
bpel	2
colouredpetrinets	2
compositional	2
diplom	2
event	2
formal	2
interpreted	2
ltsa	2
mcmas	2
modeconfusion	2
program	2
symbolicexecution	2
temporal	2
timedautomata	2
1985	1
1986	1
1992	1
1993	1
1995	1
1998	1
2008	1
actl	1
actlw	1
algorithms	1
anonymity	1
application	1
automata	1
ccs	1
crowds	1
csp	1
deadlock	1
debugging	1
faultlocalization	1
formallanguage	1
generalized	1
geneticalgorithms	1
ioco	1
logicprogramming	1
mas	1
modallogic	1
modeltransformationvalidation	1
mucalculus	1
multiagent	1
optimization	1
partialorder	1
pctl	1
planning	1
process	1
proof	1
property	1
qvt	1
requirements	1
satsolver	1
security	1
slicing	1
sos	1
survey	1
temporallogic	1
visiblypushdown	1
webservices	1

Tag modelchecking [114 articles] Export

Related Tags