Groups
Conversations
All groups and messages
Send feedback to Google
Help
Training
Sign in
Groups
HWMCC
Conversations
About
HWMCC
Contact owners and managers
1–29 of 29
Hardware Model Checking Competition
http://fmv.jku.at/hwmcc
Discussion Group
Mark all as read
Report group
0 selected
Armin Biere
Jul 20
HWMCC'24 Call For Benchmarks and Solvers
Hardware Model Checking Competition 2024 affiliated to FMCAD'24, October 14 - 18, 2024 Prague,
unread,
HWMCC'24 Call For Benchmarks and Solvers
Hardware Model Checking Competition 2024 affiliated to FMCAD'24, October 14 - 18, 2024 Prague,
Jul 20
Alberto Griggio
9/1/22
FMCAD 2022: Call for participation (Early registration by September 15th)
CALL FOR PARTICIPATION ====================================================== 2022 Formal Methods in
unread,
FMCAD 2022: Call for participation (Early registration by September 15th)
CALL FOR PARTICIPATION ====================================================== 2022 Formal Methods in
9/1/22
UConn Mike
8/3/22
PLA tools
I know the competition hasn't used them in a while (if ever?), but does anyone have access to old
unread,
PLA tools
I know the competition hasn't used them in a while (if ever?), but does anyone have access to old
8/3/22
Alberto Griggio
5/6/22
Deadline extension: 2022 Formal Methods in Computer-Aided Design (FMCAD)
(Apologies for multiple copies) =====================================================================
unread,
Deadline extension: 2022 Formal Methods in Computer-Aided Design (FMCAD)
(Apologies for multiple copies) =====================================================================
5/6/22
Alberto Griggio
3/16/22
Formal Methods in Computer-Aided Design 2022: Second Call For Papers
(apologies for multiple copies) =====================================================================
unread,
Formal Methods in Computer-Aided Design 2022: Second Call For Papers
(apologies for multiple copies) =====================================================================
3/16/22
Armin Biere
8/10/20
[HWMCC'20] Call for model checkers and benchmarks
HWMCC'20 http://fmv.jku.at/hwmcc20/ Affiliated to FMCAD'20 https://fmcad.forsyte.at/FMCAD20/
unread,
[HWMCC'20] Call for model checkers and benchmarks
HWMCC'20 http://fmv.jku.at/hwmcc20/ Affiliated to FMCAD'20 https://fmcad.forsyte.at/FMCAD20/
8/10/20
Armin Biere
2
10/1/19
[HWMCC'19] Call for model checkers and benchmarks
An award of $1000 sponsored by Oski Technology will go to the model checker which solved the largest
unread,
[HWMCC'19] Call for model checkers and benchmarks
An award of $1000 sponsored by Oski Technology will go to the model checker which solved the largest
10/1/19
Armin Biere
10/5/17
Results HWMCC'17
Congratulations to the ABC team, which won all tracks! We saw quite some improvements this year. You
unread,
Results HWMCC'17
Congratulations to the ABC team, which won all tracks! We saw quite some improvements this year. You
10/5/17
Armin Biere
2
10/5/17
FMCAD 2017 Call for Participation
Congratulations to the ABC team, which won all tracks! We saw quite some improvements this year. You
unread,
FMCAD 2017 Call for Participation
Congratulations to the ABC team, which won all tracks! We saw quite some improvements this year. You
10/5/17
Armin Biere
7/7/17
HWMCC'17 Call for Model Checkers and Benchmarks
HWMCC'17 http://fmv.jku.at/hwmcc17/ Affiliated to FMCAD'17 Vienna, Austria, October 2 - 6,
unread,
HWMCC'17 Call for Model Checkers and Benchmarks
HWMCC'17 http://fmv.jku.at/hwmcc17/ Affiliated to FMCAD'17 Vienna, Austria, October 2 - 6,
7/7/17
Armin Biere
8/19/15
HWMCC'15 call for model checkers
HWMCC'15 http://fmv.jku.at/hwmcc15 Affiliated to FMCAD'15 Austin, Texas, September 27 - 30,
unread,
HWMCC'15 call for model checkers
HWMCC'15 http://fmv.jku.at/hwmcc15 Affiliated to FMCAD'15 Austin, Texas, September 27 - 30,
8/19/15
Armin Biere
, …
Gianpiero Cabodi
12
11/18/14
HWMCC'14 results announced
Ciao Fabio, avrai forse letto qualche email a proposito di un paper (con molti autori) che stiamo
unread,
HWMCC'14 results announced
Ciao Fabio, avrai forse letto qualche email a proposito di un paper (con molti autori) che stiamo
11/18/14
Gianpiero Cabodi
10/24/14
paper on HWMCC 2014
To all HWMCC2014 participants. As you might have noticed from previous emails, we are considering a
unread,
paper on HWMCC 2014
To all HWMCC2014 participants. As you might have noticed from previous emails, we are considering a
10/24/14
Armin Biere
9/1/14
Fwd: CfP: JSAT Special Issue on SAT 2014 Competitions and Evaluations
This special issue will also papers related to HWMCC. Armin ---------- Forwarded message ----------
unread,
Fwd: CfP: JSAT Special Issue on SAT 2014 Competitions and Evaluations
This special issue will also papers related to HWMCC. Armin ---------- Forwarded message ----------
9/1/14
Armin Biere
4
5/22/14
Call for Model Checkers and Benchmarks HWMCC'14 CAV Edition
Find attached four trivial test benchmarks (two sat and two unsat). If your model checker assumes
unread,
Call for Model Checkers and Benchmarks HWMCC'14 CAV Edition
Find attached four trivial test benchmarks (two sat and two unsat). If your model checker assumes
5/22/14
Armin Biere
,
Alberto Griggio
2
3/30/14
deep bound track at HWMCC'14 CAV edition
Hello Armin, What about witness generation for falsified properties?will it be mandatory as
unread,
deep bound track at HWMCC'14 CAV edition
Hello Armin, What about witness generation for falsified properties?will it be mandatory as
3/30/14
Toni Jussila
,
Armin Biere
3
12/2/13
benchmarks in multi track
Morning, Thank you for fixing this. Downloaded the new archive and the numbers match. Best Regards,
unread,
benchmarks in multi track
Morning, Thank you for fixing this. Downloaded the new archive and the numbers match. Best Regards,
12/2/13
Toni Jussila
11/21/13
equivalence vs. property checking
Hello, and thank you for organizing this event again. Based on the IWLS'2012 paper from Brayton,
unread,
equivalence vs. property checking
Hello, and thank you for organizing this event again. Based on the IWLS'2012 paper from Brayton,
11/21/13
Armin Biere
,
Alberto Griggio
5
11/6/13
HWMCC'13
Hi all (trying once more, I keep getting a delivery failure...) The tables, log files and spread
unread,
HWMCC'13
Hi all (trying once more, I keep getting a delivery failure...) The tables, log files and spread
11/6/13
Armin Biere
, …
brayton
13
11/12/12
HWMCC'12 results announced
Another update: the 'bob12m04' log files of Tip(BMC) were truncated (from 3 GB to 2 GB, sigh)
unread,
HWMCC'12 results announced
Another update: the 'bob12m04' log files of Tip(BMC) were truncated (from 3 GB to 2 GB, sigh)
11/12/12
Gianpiero Cabodi
11/1/12
R: Re: HWMCC'12 results announced - discrepancies and suspicious results.
All, I'll start looking at logs next week. What I can confirm is that pdtrav 2011 was buggy on
unread,
R: Re: HWMCC'12 results announced - discrepancies and suspicious results.
All, I'll start looking at logs next week. What I can confirm is that pdtrav 2011 was buggy on
11/1/12
Armin Biere
10/1/12
[HWMCC] Model Checkers due on October 8
Dear colleague, in order to leave enough time for actually running the competition we do need
unread,
[HWMCC] Model Checkers due on October 8
Dear colleague, in order to leave enough time for actually running the competition we do need
10/1/12
Armin Biere
8/13/12
HWMCC'12 Call for Model Checkers and Benchmarks
HWMCC'12 Call for Model Checkers and Benchmarks Intentions of submission are requested by
unread,
HWMCC'12 Call for Model Checkers and Benchmarks
HWMCC'12 Call for Model Checkers and Benchmarks Intentions of submission are requested by
8/13/12
Armin Biere
, …
brayton
4
7/24/12
new Beem aiger models
Stefan, Good eye! Here is the corrected table. The duplicated have been removed, The files with
unread,
new Beem aiger models
Stefan, Good eye! Here is the corrected table. The duplicated have been removed, The files with
7/24/12
Armin Biere
2/28/12
***************************************************************** COMPARE2012 - Call for papers 1st
unread,
***************************************************************** COMPARE2012 - Call for papers 1st
2/28/12
Robert Brayton
,
Armin Biere
3
2/1/12
some analysis on hard HWMCC11 benchmark categories
[Oops missed one line]. I reformatted the table and posted in Courier Font. 1 2 3 4 5 6 7 8 9 bob 79
unread,
some analysis on hard HWMCC11 benchmark categories
[Oops missed one line]. I reformatted the table and posted in Courier Font. 1 2 3 4 5 6 7 8 9 bob 79
2/1/12
Jason Baumgartner
,
Armin Biere
2
2/1/12
HWMCC 2011 Follow-up Analysis
There is a lot of information on the results page. The 'joined' tables might be a good
unread,
HWMCC 2011 Follow-up Analysis
There is a lot of information on the results page. The 'joined' tables might be a good
2/1/12
Armin Biere
,
Jason Baumgartner
2
11/21/11
enforcing witnesses
While requiring a witness will help rule out tool errors, it may be very hard to rule out incorrect
unread,
enforcing witnesses
While requiring a witness will help rule out tool errors, it may be very hard to rule out incorrect
11/21/11
Armin Biere
2
11/21/11
results complete
There was a glitch in the liveness track. The outcome is that IIMC and TIP change places. TIP becomes
unread,
results complete
There was a glitch in the liveness track. The outcome is that IIMC and TIP change places. TIP becomes
11/21/11
